ミルクPC

bot

【2022年版】Discordでサーバーの統計を取得する方法

Discordでサーバーを管理していると統計を取りたいと思うことがあります。今回はそんな人向けのDiscordのbotを紹介します Statbot Statbotは、海外の統計を取得するbotです。個人的に利用していてものすごく便利ですが、...
BetterDiscord

【2022年版】Discordを複数入れる方法

何かと便利なDiscord。そんなDiscordですが、人によっては複数のアカウントだったり設定を利用することも。結構使い込んでる人だとBetterDiscordを使ってる人もいると思います。そんなDiscordを複数開く方法を今回はご紹介...
MediaWiki

【2023年版】MediaWikiのVisualEditorでエラーが出る場合の対処法

MediaWikiのVisualEditor(ビジュアルエディター)で Error contacting the Parsoid/RESTBase server (HTTP 403) というエラーが出た場合の対処法を今回は紹介します。 SS...
MediaWiki

【2022年版】MediaWikiで一部のページにアクセスできないときの対処法【MediaWiki】

MediaWikiをいじっていてとあるページにアクセスしてみるとアクセス不能。エラーが出るわけではなくアクセスできない。スマホでやってみてもプロキシでやってみても無理。とりあえずデータ出力機能で該当のページを出力すると中身はちゃんとある。そ...
ソフトウェア

【2022年版】GeekUninstallerのインストールや使い方

GeekUninstallerというソフトをアンインストールする際にいらないファイルもまとめて削除できるソフトで、私自身ものすごく多用しています。今回はGeekUninstallerのインストール方法や使い方などをまとめました。 インストー...
Google Chrome

【2022年版】YouTubeで音声のみを再生する方法【拡張機能】

YouTubeで作業用BGMを流したい。だけど動画だと通信量が多い。音声のみを再生できればいいのにと思ったらものすごくいい拡張機能を見つけました。 その拡張機能とは… その拡張機能とはYouTube Video Downloader(You...
Google Chrome

【2023年】YouTubeビデオダウンローダー拡張機能のダウンロード方法

YouTubeの動画を保存したいけどいちいちダウンロードサイトに行ってURL貼るのもめんどう。そんなときに活躍するのがYouTube Video Downloader(YouTubeビデオダウンローダー)という拡張機能です。 YouTube...
サーバー

faviconが表示されないときの対処法

favicon(ファビコン)を設定したのに表示されない。私の場合はMediawikiのファビコンを設定したのに表示されなくてめっちゃ困惑しました。 キャッシュを削除で解決 キャッシュを削除で解決します。 Chromeなら左上の←を長押しして...
MediaWiki

wikiサービスは結局のところどれがいいのか

wikiサービスはほんとにいろいろありますが、果たしてどれが一番いいのかを自分なりにまとめました。なおwikiサービスは、wikiを無料で使えるようにしているサービスや、wikiのシステム自体どちらでもです。 使ったことのあるwikiサービ...
Discord

AndroidやiPhoneでDiscordの画面共有中に音声が相手に流れない時の対処法

Discordで画面共有をしている時にゲーム内の音声が流れない・出ないことがあります。そんなときの解決法です。 Androidは無理 Androidは内部音声録音という機能がないため、内部(ゲーム)の音声を録音(Discordに送る)ことが...