Ubuntuが異常終了した時、次のブート時にタイムアウトするようにする（古い記事を転記） （Ubuntu 18.04でも必要か？ たぶん不要） 以前は00_headerを直接書き換えていたが、いまはもう少し賢く設定可能。 /etc/default/grubに次の行を追加 GRUB_RECORDFAIL_…

USBメモリを使ったインストールをpreseedingである程度自動化（昔書いたやつをまとめて転記） この記事はUbuntu 18.04では使えない。preseed.txtをUSBメモリに書き込めないから。回避策を探している。 インストール作業環境・モチベーション コンピュータの…

アウトライン化 gs -sDEVICE=eps2write -dNOPAUSE -dBATCH -r720 -dNoOutputFonts -sOutputFile=$1-ol.eps $1.eps

NFSマウント上のファイルシステムでipythonを使うには？ テンポラリファイルをローカルマシン上に作れば良いみたい。 ipython --HistoryManager.hist_file=/tmp/ipython_hist.sqlite やり方はここに書いてあった。 Terminal IPython options — IPython 7.14.0…