学生に bash の設定ファイル ~/.profile を書き変えさせようとして、はまった、というお話。
現象数理学科 Mac には、mi があるので、それを使わせれば良いかと考えたけれ ど、そもそもファイル名の先頭がドット . であるファイルは表示すら されないのだった。
とりあえず、授業は
open ~/.profile |
ネットで検索して、 Mac - Finderで隠しファイル・フォルダを表示する方法 というページを見つけたが、それによると
defaults write com.apple.finder AppleShowAllFiles TRUE killall Finder |
defaults write com.apple.finder AppleShowAllFiles FALSE killall Finder |
「開く」や「保存」するときに、 + + で、 ドット・ファイルの表示・非表示をスイッチ出来る、 というのを見つけた。 なるほど。最後がドットだから覚えられるかも。
桂田 祐史