2020-05-01から1ヶ月間の記事一覧
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…