概要 rmしても消せないファイル("\r"みたいなやつ)をたまに作っちゃう(1ヶ月に一回くらいある...) ので消す方法メモ 手順 調べるのが面倒なので、こんな邪道になりました。 対象のディレクトリをgit管理下に置くする 消したいファイル以外を退避しておく 消…

毎回manページ見るんだけど、「あれ載ってない...?」ってなるので、戒め。 man ls /time 戒めなので、どのオプションかはmanから見てね。 dateじゃないんだわな。

2020-08-19 23:16:15 要件 コマンド入力して、terminalを録画できる 指定した範囲の録画できる。入力キーも表示できる 1の仕様 システムは、動画の設定をする。設定をしなければ、最適な設定が使用される 画像サイズ GIFの枚数 保存先 録画開始前に指定したo…