update-mime-databaseのfdatasyncをasyncにして早くするやつ (Diff) | 2020-03-15 02:10 | |
POSIX AIOに対応。 +その他互換性を意識した書き換え | ||
update-mime-databaseのfdatasyncの呼び出し時間短縮による効率化(for linux) (Diff) | 2020-03-11 12:28 | |
改良版。参考:https://gitlab.freedesktop.org/xdg/shared-mime-info/issues/42 | ||
update-mime-database.cのfdatasync呼び出しによる処理時間の問題の対処(for linux) (Diff) | 2020-03-11 05:43 | |
amd64以外ではテストしてない | ||
prettydate_for_cgit.patch (Diff) | 2018-10-05 04:09 | |
for debian cgit package version 1.1+git2.10.2-3.1 | ||
kicad_using_newest_python2.x.patch (Diff) | 2018-06-05 00:19 | |
システムに2.6と2.7があるとなんでか2.6を使いたがるので修正。多分動くはず | ||
freshplayerがpulseaudioで音声出力する時にサイトのドメインをnameに使うようにしてみた (Diff) | 2017-01-26 02:24 | |
全部freshwrapper | playbackって書いてあって区別しづらいなー。と思ったのでやってみた。 pulseaudio以外を使う場合、効果はない。入力ストリームに対しても、効果はない。 パッチファイルって、コピーライトとライセンスどこに書くのが正しいんだろう... |