うちのファイルサーバは、音楽ファイルやyoutube等を再生するBGM再生機も兼ねている。 そしてブラウザにはfirefoxを使っている。 定期的にfirefoxのプロセスがCPUリソースを大量に消費する現象に見舞われる。 Firefox 63 ESR Windows7 64bit の話。

初期設定のdotファイル群のcloneが鍵付きだった時など。 GIT_SSH_COMMAND="ssh -i ~/.ssh/xxx.id_rsa -F /dev/null" git clone user@foo.com:rc

時刻とカレントディレクトリの短縮 MyDocuments/WindowsPowerShell/profile.ps1 function global:prompt() { $dir = $pwd.ProviderPath.Remove(0, $pwd.ProviderPath.LastIndexOf("\")+1) $time = Get-Date -Format "HH:mm:ss" Write-Host($time + " " + $di…

最近はPFWはWindows10純正のものを使っている。 操作性が悪いのが難だが、パフォーマンスはおそらく一番いいだろう。 CLIからバックアップを取るワンライナー。要管理者権限。 netsh advfirewall export "c:\_backup\wfw\%date:~0,4%%date:~5,2%%date:~8,2%%…

bashのように細かくは行かないがせめて時刻だけでも。 C:\Users\pen>prompt $t$s$p$g$s 22:57:04.93 C:\Users\pen> 22:59:14.41 C:\Users\pen> prompt C:\Users\pen>