日: 2020年5月31日

これまで基本的にsshで接続した先のLinuxで諸々片付けていましたが，いい加減ローカルの環境を整備していきます． いつのまにかデフォルトshellもzshになってましたねそう言えば． 今日のところはひとまずautoco…

全文を読む