Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 01:42:41 JST きゅーけー

   Window Manager を下記に引っ越そうと思ってる、今はなんやかんやで Xfce4 を使ってたんだけど、テキストファイルでの設定がしやすくて無難な雰囲気があるので、もうちょっと調べてみて良さそうだったら移行する予定。

   spectrwm - ArchWikihttps://wiki.archlinux.jp/index.php/Spectrwm

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 01:47:41 JST きゅーけー

     in reply to

     Org-mode で色々管理することを考えるとテキストファイルで全部管理できる方が嬉しいというのがある。通知も dunst 使う予定。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 01:59:43 JST きゅーけー

     in reply to

     StumpWM の方がいいかな〜。以前は EXWM を使ってたけどあれは Emacs を再起動したいときに困るからちょっと避けたい気持ちがある。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:01:47 JST きゅーけー

     in reply to

     タイル型のウィンドウマネージャーは結局微妙に面倒な気がしてスタック型の方が便利な気がしないでもないんだよな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:02:53 JST きゅーけー

     in reply to

     Emacs もまあタイル型のUIしているわけで、Emacs の操作と WM の操作を別にやらないといけないのがきついというのが結構ある。

     だからといって EXWM を採用すると Emacs がフリーズしたり Emacs を再起動したいときになんか困る。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:04:17 JST きゅーけー

     in reply to

     まあタイル型にするならやっぱ Lisp が好きだし考えるのは StumpWM かな。そうじゃない場合の候補か。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:05:08 JST きゅーけー

     in reply to

     StumpWM にする場合はどのキーを犠牲にするか考えないとな。Emacs との競合問題は深刻なので。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:06:08 JST きゅーけー

     in reply to

     デフォルトの C-t はちょっと ACL2 の emacs のバインディングに取られてるから駄目で変更が必須なんだけどじゃあどれがいいかって話になる。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:07:04 JST きゅーけー

     in reply to

     昔は C-z を採用していたけど、これって Emacs 以外のアプリケーションを使うことを視野に入れるとマジでありえない選択なんだよな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:07:59 JST きゅーけー

     in reply to

     Super キーが無難かな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:08:39 JST きゅーけー

     in reply to

     Super キーはちょっと押しにくそう

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:13:29 JST きゅーけー

     in reply to

     Super キーはちょっと Prefix Key には向いてない気がする。親指が疲れそう。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:16:55 JST きゅーけー

     in reply to

     いや、むしろ C-t のまま使って Emacs から ACL2 で使うときに C-t C-t でやっていくのはありだな。

     過去に嫌だったのは Emacs の C-t で前後の文字を入れ替える機能を普通に使ってたからなんだけど、それは C-t 一発じゃないといやだけど、ACL2 の方は C-t C-t になっても別に良いでしょ。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:19:17 JST きゅーけー

     in reply to

     C-t の送信は C-t C-t じゃなくて C-t t だった。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:19:46 JST きゅーけー

     in reply to

     問題ないな。StumpWM で決まりだ。今日はもう遅いし明日やろう。