USBの容量が空いているのに、書き込みができなくなった。 どうやらUNIXの仕様の問題らしい。 UNIX系のOSでは、USBに書きこむ場合、inodeと実データを記録するらしい。 inodeには以下の情報がある ファイルの所有者 ファイルのアクセス権 サイズ 作成日時 実…

jpg画像を一気にconvertした時につまずいた。 #!/bin/bash for file in *.jpg do convert $file ${file%.jpg}.png done エラー文 convert: unable to open image `test': No such file or directory @ error/blob.c/OpenBlob/2617.convert: no decode delega…

久しぶりに更新。最近はFedoraを使っている。忘れそうなのでショートカットの設定を覚書として書いておく。システム設定から以下の状態までいく。(英語表記)[System Settings] -> [Keyboard] -> [Shortcuts] 半角英数と日本語の切り替え [Shortcuts]欄の[Typ…