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.
Recovering Dokku Postgres Backups
Dokku with its Postgres plugin can be used to manage Postgres databases, this includes automated backups.
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.
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.
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.