平衡点


2017/05/14

_ 真・女神転生IV FINAL

「やる暇無いよねぇ...」とか思って買っていなかった訳ですが, 学生が煽る薦めるので, 今更ながらポチっとな, と.

真・女神転生IV FINAL - 3DS
アトラス, ¥5,830

以前 IV をやった時は, 時間を言い訳にしたくないけれど魔人コンプができなくて悔しい思いをした訳ですが, 今回はどうなることやら.

...いや, いつやるのさ, というのはその通りでして.


2017/05/15

_ Redmine Markdown Extra Formatter, Bluefeather

仕事で Redmine を利用しています. Wiki のフォーマットとして

を利用しています. toc と table が使えるのが良いですよね.

...で, ふと気がついたのですが, そもそも bluefeather では

% echo '[[古い]] お話' | bluefeather -
=> <p>[[古い]] お話 お話</p>

となってしまうので, 手を入れないと [[ほげほげ]] みたいなリンクが使えない, ということをすっかり忘れていました.

多分, 望む動作ではない, と思うので, どうにかしたい所ではあるのですが...


2017/05/16

_ tmux v2.4 向けのパッチ

以前 やった事を, tmux v2.4 向けに直したの. ほとんど空白の調整なのだが.

罫線描画を全て ASCII or DECSP にするパッチ

en_US.UTF-8 決め打ちを止めるパッチ

ついでに上記パッチを当ててインストールするための tap が以下

あと Sid 用の野良ビルドが以下

# GPG Key: http://junkhub.org/debian/pubkey.gpg
deb http://junkhub.org/debian sid main
deb-src http://junkhub.org/debian sid main

そんな感じ.


2017/05/22

_ GNOME3 での輝度調整

今迄 xbacklight で輝度調整していたのだけれど, これだと grub の設定に video.use_native_backlight=1 を指定しないと駄目なので, どうしようかな, と.

GNOME3 の場合 /usr/lib/gnome-settings-daemon/gsd-backlight-helper で 輝度調整ができる(..というか, キーボードから輝度調整弄った際に呼ばれるのはコレ)なので, こいつを使うスクリプトをでっちあげることに.

ついでに xbacklight を削除.

あとは xdotool っぽくキーボードを叩けると wayland に移行できるんだけれどなぁ...


連絡先など
最近の日記
  • 2024/10/09
    • 1. Mastodon でのメール通知, というか Exim4 と Apparmor
  • 2024/06/19
    • 1. WSL2 での gpg-agent, ssh-agent
  • 2024/06/18
    • 1. WSL で Windows 側のフォントを利用する
  • 2024/06/17
    • 1. WSLとWindowsの時刻同期
  • 2024/06/12
    • 1. wsl2 で systemd
    • 2. wslg の設定
一覧
2006|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|02|03|04|08|09|10|11|12|
2013|01|02|03|04|05|06|08|09|10|11|12|
2014|01|02|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|09|10|
2016|02|03|
2017|01|02|03|05|06|07|09|11|12|
2018|03|06|07|10|11|12|
2019|01|02|03|04|05|07|10|12|
2020|01|02|03|04|05|08|09|10|11|12|
2021|01|02|03|05|06|07|08|09|11|12|
2022|01|02|03|04|05|06|08|10|11|12|
2023|02|03|04|06|08|09|11|12|
2024|01|02|03|04|05|06|10|
Back to Top ▲