0

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...

0

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...

0

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...

2

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...

7

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...

12

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...

3

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...

1

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...

14

Debian breaking Unison (again)

Congratulations – Debian/sid now contains a unison binary that is incompatible with Debian/buster, the stable release. That means, everyone who relies on unison for file synchronization across servers (running buster) and development machines (running...

12

Python 3 deprecation imminent

OSS Journal, November 2026. In less than two month, with the end of the year 2026, Python 3 will be deprecated and will not obtain any further security updates. Despite the announcement of deprecation...