Switching from elpy to anaconda-mode

I am using Emacs with elpy as my Python IDE. Minor issues that appeared lately made me explore other options for developing Python in Emacs. I ended up switching to a custom configuration based on anaconda-mode. ...

Replacing Dropbox With Syncthing

Dropbox has some well known issues on Linux which made me look at alternatives. I found an alternative that I am very happy with. ...

November 27, 2021 3 min

Recovering Dokku Postgres Backups

Dokku with its Postgres plugin can be used to manage Postgres databases, this includes automated backups. ...

November 25, 2021 1 min

Upgrading NixOS Channels

Upgrading NixOS so that it uses a different channel is simple. When you run following command as root: nix-channel --list You should see a list of channels. If you did not touch channels so far, you should see this: nixos https://nixos.org/channels/nixos-21.05 By running the following command (as root): nix-channel --add https://nixos.org/channels/<channel version> nixos you will remove the 21.05 channel and replace it with <channel version>. To apply the change, you need to run following command:...

Installing Only Certain Packages from Unstable on NixOS

Following the NixOS installation guide I ended up with a setup using a stable NixOS channel that just keeps giving. Sometimes however, it can be necessary to include packages from an unstable channel. ...

Ignoring Files with Dropbox on Linux

On Linux you can set attributes to ignore files for syncing. ...

November 22, 2021 1 min

Fixing Bash Autocompletion on Elastic Beanstalk When Using SSH

If you use urxvt to connect to your EC2 instance through Elastic Beanstalk, running eb ssh will give you a shell where autocomplete does not work. Fix that by running TERM='xterm-256color' eb ssh

Thinkpad T14 with NixOS and I3WM

3 months ago I installed NixOS, i3wm and XFCE on my new Thinkpad T14 (1st Gen). It is my main machine that I use every day. In this blog post I summarize my experience with this setup. ...

aronwith1a.com - Functional Programming, Math and Riddles

I would like to give a quick shout out to Aaron Aron and his blog aronwith1a.com. This has nothing to do with the fact that I get to use the tags haskell, maths and agda. ...

Captive Portals in Coffee Shops and Hotels using Linux

You sit in a cozy coffee place and you just finished your coffee. You are still not connected to the WiFi while the MacBooks and Surface devices around you have sent and received Gigabytes of data since you sat down. You are a Linux user. ...

Generating Random Strings on Linux in One Line

With following command you can print a random string of a certain length on Linux. tr -dc A-Za-z0-9 </dev/urandom | head -c 32 ; echo '' The string is safe to use in most web contexts such as HTML forms or environment variables.

November 17, 2021 1 min

Hoarddit - A Website to Discover Art

Together with my SO we built hoarddit.com, a website that helps everyone to discover art. It allows you to virtually trade art pieces. This post describes how we spent our innovation points and why hoarddit is not an NFT. ...

Playing Anno 1404 Venice on Proton

In order to play Anno 1404 on Proton, follow these steps. ...

Autostart Dropbox on NixOS using I3WM

Install Dropbox using NixOS in your preferred way. ...

Running Django Commands on AWS Elastic Beanstalk

When hosting Django applications on AWS Elastic Beanstalk, it is often required to run commands on the server to do some maintenance tasks. ...