コピペ一覧
:

pkgdiff.sh (Shell) 2019-05-23 01:57
ディレクトリを再帰的に辿り、すべてのファイルにcmpを実行する。ただし、オブジェクトファイルに対してはobjdump -dで逆アセンブルしたものをcmpする。 自分でビルドしたパッケージと公式パッケージの差分の有無を確かめるために作成。 好きに使ってくだ...
このユーザスクリプトはいかがでしたか (JavaScript) 2019-03-13 04:12
「WebExtensionsの拡張機能の大半はUserScriptかブックマークレットで足りるんだからわざわざ互換性を切り捨てて強い権限を与えるな運動」 https://forest.watch.impress.co.jp/docs/review/1174/083/index.html あと、Mozillaは早くXUL方式の拡張機能...
prettydate_for_cgit.patch (Diff) 2018-10-05 04:09
for debian cgit package version 1.1+git2.10.2-3.1
艦これのWebGLを無効にするためのもの (JavaScript) 2018-08-21 07:46
Greasemonkeyだと少なくとも今は@run-at document-startがインラインフレームでうまく働かないので*kcs2/index.php*に直接アクセスしないと動きません。Tampermonkeyは動いた。 WebGLを使うと(艦これに限って)やたらめったら重くなるので作成。
「他の人はこちらも検索」を消し去るuser.js (JavaScript) 2018-07-29 04:39
クリックがずれて鬱陶しいので
GoogleDocumentの共同編集時に出てくる邪魔な名札をどかすuser.js (JavaScript) 2018-07-27 03:42
Google documentの共同編集時に出てくる自分以外のカーソル上の名札が超絶邪魔なので作った。自分の編集位置の直下を誰かが編集してると何も見えないクソデザインをどうにかする(右に寄せるだけ)。 複数人が同じ行を編集してると多分崩壊するけどどうでも...
横狭めの窓でニコニコのプレイヤーをlarge指定したときの表示を整える.user.js (JavaScript) 2018-07-17 06:10
プレイヤーの大きさをlargeにしたときに窓の幅が狭いと検索窓などが右の方に逃げるのを直すCSSを挿入するスクリプト。コメントリストが見切れるのは修正不能(あまり必要を感じない)。large指定じゃなくても幅が足りない場合は、トップバーとかも壊れるので...
kicad_using_newest_python2.x.patch (Diff) 2018-06-05 00:19
システムに2.6と2.7があるとなんでか2.6を使いたがるので修正。多分動くはず
ニコニコにログインしたくなるuser.js (JavaScript) 2018-06-04 07:45
最近ニコニコがログイン無しで見られるので、ログインし忘れることが多くなった。 ログインし忘れないように、ログインしないで見ようとするとすごくログインしたくなるスクリプトを書いた。
nicovideo_ads_blocker (JavaScript) 2018-04-16 04:28
ニコニコの再生前広告が長くなってヘイトが高まったので作成。自由に使ってください。 メインコンテンツの閲覧を阻害しない広告は見てあげようと思っているのでAdblock系の使用は避けたかった。