TeX Live 2020 released
Get the Champagne ready, we have released the final images of TeX Live 2020. Due to COVID-19, DVD production will be delayed, but we have decided to release the current image and update the...
QOwnNotes for Debian (update)
Update 2020-04-18: I have removed my QOwnNotes repository, since there is a OBS build by upstream that includes builds for Debian/unstable, testing, Buster. So no need for me. Please see https://www.qownnotes.org/installation for details!! Some...
KDE/Plasma updates for Debian sid/testing
I have written before about getting updated packages for KDE/Plasma on Debian. In the meantime I have moved all package building to the openSUSE Build Service, thus I am able to provide builds for...
Fixing the Breeze Dark theme for gtk3 apps
It has been now about two weeks that I switched to KDE/Plasma on all my desktops, and to my big surprise, that went much more smooth than I thought. There are only a few...
KDE/Plasma 5.18 for Debian
Update 2020-04-03: Please see this post for updated location of the packages!!! Now for i586 and amd64 architectures! I have been trying out the Plasma Desktop for one week now, and I am very...
De-uglify GTk3 tabs of terminals
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...
笹倉孝昭：アルパインクライミング教本
国際山岳ガイドの同僚の笹倉孝昭さんは、新しい登山の教本を出版しました。日本山岳協会のインストラクターやってる笹倉さんはこの教本にいろんな技術を詳しく説明しています。アイス、雪山、岩場、なんでもこの「濃い」本に入っています。
Fixing mate-terminal URL highlighting
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...
Brave broken (on Debian?)
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...
Okular and restoration of tabs (plus Debian packages)
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...
Changing cinnamon’s lockscreen background
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...
Gaming: The Turing Test
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 for Debian
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...
Okular update for Debian
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...
MuPDF, QPDFView and other Debian updates
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...
CafeOBJ 1.6.0 released
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...
