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. ...
Dropbox has some well known issues on Linux which made me look at alternatives. I found an alternative that I am very happy with. ...
Dokku with its Postgres plugin can be used to manage Postgres databases, this includes automated backups. ...
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:...
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. ...
On Linux you can set attributes to ignore files for syncing. ...
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
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. ...
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. ...
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. ...
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.
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. ...
In order to play Anno 1404 on Proton, follow these steps. ...
Install Dropbox using NixOS in your preferred way. ...
When hosting Django applications on AWS Elastic Beanstalk, it is often required to run commands on the server to do some maintenance tasks. ...