sksat
sksat
たぶん一番影響が大きいのはiniファイル群で,ここにつらつらと`../../data/SampleSat`みたいなやつ書きたくないよね,という方がモチベーションが大きいかも(設定ファイル内にある相対パスがプロセスのCWDに依存しているのは渋い)
で,前に考えた時はiniファイル内で`${S2E_DATA_DIR}`みたいな変数展開をできるようにするか?みたいなことを思ったけど,どちらかというと設定ファイルを開くところにファイル探索の概念を与えてやって,最初に探索するディレクトリを環境変数で与えて,無かったらCWDからの相対パスに切り替えて探す,みたいなかんじにすると互換性保てる.
そしてiniファイル読み込み部分がWinかどうかでソースコード切り替わってることに今更気付いた(Winでもinih使ってると思ってた)
これはWin32 APIの`GetPrivateProfileIntA()`, `GetPrivateProfileStringA()`に依存しているからで,これがめっちゃ便利とかでもなければ(まあ抽象化して同じクラスにしてるんだからそんなことない気がするが)マージしたいかも
#159 で一旦雑にファイルをマージした(Win32部分はifdef)ので,これの後にinihに統一したい.が,その前に`IniAccess`がCSVファイルも読み書きしてるのは非自明すぎるので,ここをどうにかしたいかも.
環境変数でどうにか,みたいなことを考えたけど,Windowsだと渋いしそもそもglobalな共通の設定ファイルがいればよかろうとなったので, #160 でやっていく.また,これをTOMLにしておくことでINI -> TOMLの移行の布石にもなる.
`docker-compose pull`が長いのもある
#100 でそもそも実際に出すログの範囲を適切にすればだいぶマシという説もある
あー,シンボリックリンク貼ってるんじゃなくて`cp`してるからオプション足してsedるだけだわな
これは手元で `systemctl edit compose-cd.timer` して override.conf してもらうべきじゃん?