#Guix のブログが更新されてた。ソフトウェア識別の観点から再現可能なビルドや Full-Source Bootstrap の価値が分かる。
Identifying software
https://guix.gnu.org/ja/blog/2024/identifying-software/
#Guix のブログが更新されてた。ソフトウェア識別の観点から再現可能なビルドや Full-Source Bootstrap の価値が分かる。
Identifying software
https://guix.gnu.org/ja/blog/2024/identifying-software/
いや、そもそもシステムのところを直接フォーカスするショートカットないか確認した方がいいか。
#GNOME の Control + Alt + Tab でトップバーにフォーカスできるの意外と使う価値あるな。Control + Alt + Tab → Shift + Tab という複雑な指の動きをすればキーボードだけでトップバー右側のシステムエリアをフォーカスできる。
しばらく GNOME の思想に合わせて Window の一覧を常に表示しない使い方をしてみる。
表示されていないウィンドウについて意識しないでいま表示されているウィンドウに集中するようにデスクトップとの向き合い方を変更することで、GNOME の方が他と比べてよいと感じるようになるかもしれない。
それでもウィンドウの一覧が常に画面上に表示されている方が快適だと感じるのであれば、私には GNOME の考えは受け入れられなかったということで Dash to Panel を入れて使おうと思う。
GNOME がウィンドウの一覧を常に表示しないという強い思想を持っていることは下記の公式ドキュメントから分かる。
https://help.gnome.org/users/gnome-help/stable/shell-introduction.html.ja
> GNOME におけるウィンドウ切り替えのスタイルは、他のデスクトップ環境で採用されているような、常にウィンドウ一覧を表示するものとは異なったアプローチを取っています。
革靴を履いた結果、くるぶしの下の部分に傷ができてた。いたい。
Just Perfectron で Activity ボタンを消すこともできる。
Animation の設定を Faster にすればパネルがなくても割と快適に使えるかも。実際パネルを消せばその分画面に割ける領域が増えるというのがあるのでパネルがないメリットはある。
アクティビティ画面を開くときのスピードを変化させたくて調べていたところ見つけたもの。
Just Perfection よさそうだな。ちょっとこれ入れてみるか。
アクティビティがなくなっただけの GNOME もいいかもしれない。どうあがいてもデフォルトの GNOME だとダメだと分かったのは悲しい。せめて普通に設定でアクティビティを消せればいいのに。
左上の「アクティビティ」を消すだけの拡張が存在する。
やっぱこれ気になる人多いんだな。
https://extensions.gnome.org/extension/744/hide-activities-button/
オフにしてすぐ思うのは左上の「アクティビティ」がなんか気になるんだよな。微妙にダサい。左上はなんかみょうに目立つ。
GNOME、実はもしかするとパネルいらない説があるのではと思い始めている。アクティビティを開いてカーソルでウィンドウを選べることを知って、実はそれを活用すればいいのでは疑惑がある。
なので、しばらく Dash-to-Panel をオフにして使ってみてどうなのか確認してみる。
猫に警戒されてる。かなしい。
@sn_twoo_zn 労働のプログラミングはまあ苦痛ですが。。。
@sn_twoo_zn プログラミングは労働じゃなくて趣味のくつろぎなので。。。
Racket のドキュメントは raco docs でオフラインで参照可能なので助かる。
飛行機に乗る前にもくもくとプログラミングをするのに必要なものをすべてダウンロードしなければ
機内モードにした後に rfkill list すると Bluetooth と Wireless LAN の Soft blocked が yes になっていた。
信頼してよさそう。
```
# rfkill list
0: hci0: Bluetooth
Soft blocked: yes
Hard blocked: no
1: phy0: Wireless LAN
Soft blocked: yes
Hard blocked: no
```
飛行機乗る前に機内モードにする方法を調べようと思ったのだけど、GNOME の設定をみたところ機内モードにできることを確認した。
Lisp と自由ソフトウェアと行動分析学が好きです。自分専用のマストドンサーバーを運用しています。Typed Racket や Coalton のような型のついている Lisp や、自動定理証明器の ACL2、GNU Guix System に興味があります。いまは GNU Guile でのプログラミングがメインです。生活リズムの安定のため、深夜 02:00 から 10:00 までの間はアカウントロックをかけています。その間は何も反応しません。
076萌SNS is a social network, courtesy of 076. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All 076萌SNS content and data are available under the Creative Commons Attribution 3.0 license.