Puttyの設定はファイルではなくレジストリに保存されているので、レジストリの値を出力してデータ移行が必要。エクスポート/インポートいずれも、Windowsコマンドプロンプトで行う。エクスポート/インポートのパスは、任意のパス。 設定のエクスポート reg e…

Windows10に対して、リモートデスクトップでログインしている時に、そのログイン先のWindows10をシャットダウン/再起動する方法。スタートメニューの電源ボタンを押しても、「切断」しか表示されない。 Alt+F4で、シャットダウン等のメニューを表示できるの…

他にもっと簡単な方法があるかもしれないけど、必要な度に調べるのが面倒なのでメモ。 接続中のDB名を取得 test_db=> SELECT current_database(); current_database ------------------ test_db 接続中のDBサイズの取得 test_db=> SELECT pg_size_pretty(pg_…