生も死もひとつのブランコの分岐点においてゆらゆらそのゆれをほほえんで見ているしかないのですね。
If you are puzzled by the indistinguishability of the active tab from inactive tabs in any of the GTK3 based terminal emulators (mate-terminal, gnome-terminal, terminator, …), you are not alone. I have been plagued...
国際山岳ガイドの同僚の笹倉孝昭さんは、新しい登山の教本を出版しました。日本山岳協会のインストラクターやってる笹倉さんはこの教本にいろんな技術を詳しく説明しています。アイス、雪山、岩場、なんでもこの「濃い」本に入っています。
Update 2020-04-17: Both of my patches have been included upstream and in the Debian package 1.4.0-3, so I removed the packages from my own space. One of the recent updates in Debian swept in...
Update a few hours later: an update came in, version 1.7.62, which fixed this misbehavior!!!! I have been using the Brave browser now for many months without any problem, in particular I use the...
I have the need to restore my okular tab setup on restart, since I often have quite a lot of pdfs open to view at the same time. Unfortunately, the current okular doesn’t provide...
Recently I want to have a different background image on the desktop and the lock screen. With my preferred desktop environment, Cinnamon, I found that this is not planned for, how disappointing. Searching the...
In a world without Portal and The Talos Principle, The Turing Test would have been a great game. Fortunately there is Portal and The Talos Principle, which leaves The Turing Test as an interesting...
QOwnNotes is a cross-platform plain text and markdown note taking application. By itself, it wouldn’t be something to talk about, we have vim and emacs and everything in between. But QOwnNotes integrates nicely with...
Update 20200304: okular is updated in Debian, so I rebased my packages onto the Debian work, added my tab-restore patch, and made new packages! The quest for a good tabbed pdf viewer lead me...
Update 2020-02-24: The default Debian packages for pupdf and pymupdf have been updated to the current version (or newer), and thus I have removed the packages from my repo. Thanks to the maintainers for...
We have released version 1.6.0 of CafeOBJ, an algebraic specification and verification language. This release incorporates the following changes: CITP is officially renamed to PTCalc documents are not updated yet PTCalc(CITP) enhancements :init defined...
Update 2020-02-20: I have removed digikam (version 6.4 and 7) since they are all now available in Debian itself. I have updated some of the Debian packages distributed at https://www.preining.info/debian/, the complete list as...
More than a month has passed, but the winter holidays allowed me to update, fix, and stream line a lot of corners in SUSI.AI. And above all, work on a desktop version that can...
When playing a few rounds of Talos Principle, I realized I cannot get the sound output to my USB headphones. Selecting a different sink never worked. It was only in a forum post that...
I have been using acmetool on my Buster server for quite some time. When choosing a client I liked that it is written in Go, that it is small and not overboarding with features,...
I realized that I was doing the same failure as others attacking me of being transphobe because I criticize one trans person, that is extrapolating from one bad example to a larger class. I...
