WikiLinks
I've been working on Sausagewiki for a while now, but I have only recently
discovered how best to enable prolific linking between articles. I have now
made it possible to link to an article by just writing its title in square
brackets inline in the text; I like [pie], I like [cake]. This is a bit of a
lucky combination of an extension to Markdown and the way URLs are generated
for articles in Sausagewiki. Let's look at the URLs first.
When designing the URL generation mechanism, I had some goals…
Continue readingWwwwayland sucks
Wayland sucks. I'm sure that it's not Wayland that sucks, but running Ubuntu
18.04 with gnome-wayland is inferior to gnome-x11 in multiple surprising ways,
and better in only a few. I've been using gnome-wayland now for about a month,
since upgrading to Ubuntu 18.04, and I'm about ready to
switch back.
The good:
In Wayland, I am allowed to switch workspaces with a four-finger swipe on
the trackpad. I'm using a MacBook Pro, so my trackpad is actually good, and
I've been missing this in X11.
With…
Continue readingSystem(d) upgrade
I have recently updated a server of mine from Ubuntu 16.04 LTS to 18.04 LTS.
As usual, it was a bumpy ride. The upgrade stopped half-way through with my
system in a stupid state, and I had to figure out how to fix things so that
apt would be able to continue the process. I don't understand why this keeps
happening when the resolutions are so daft. This time it amounted to removing
a good deal of packages with dpkg. I don't understand how it is valuable
that I do this myself – it's not as if I kn…
Continue readingNew footer
I have updated the footer on this page. It used to be a simple signature and a
link to the RSS feed for this site, like this:
Magnus Hovland Hoff
.button {stroke: none; fill: orange;}
.symbol {stroke: none; fill: white;}
Styling with CSS grid?
Continue readingBlog!
I'm experimentally adding a blog to this site. In this post, I'll introduce
the blog and discuss some specifics about how the blog and site in general is
technically put together.
I used to write a bit on Google+, but it is neither a good blogging
platform nor a good social platform, so I have given up on that. Writing blog
posts on this site is technically superior, and I suspect I will get a bigger
audience posting them on Twitter than I got on Google+.
What
A lot of people will recognize this…
Continue reading
