Tag archive for "shell"

I have a custom sync script for Firefox because the built-in sync is simply not thorough enough. To make the sync more reliable I wanted to close Firefox when it is running. This was surprisingly hard to accomplish, but once I found wmctrl the problem was solved. Notice that this … more

Do you know the feeling? You have implemented a massive optimization, slashed a nasty bug or built a complex feature and made the commit. Then you check the time, and there's absolutely no way you could have finished this yet. Now you can either be a good worker bee and … more

When using git in a project it is easy to create lots of branches. This is one of the strengths of git, but it can also mean that the local branch list gets quite long. I created an alias for the command below to get an overview of which branches … more

I run multiple desktop environments, and they all come with their own screen locking tool. Sometimes I want to unlock a system remotely, that means from the command line. The script below can unlock mate, gnome and i3lock. more

There are various ways to send an ebook to a kindle, I use a tiny script. The only tricky part is to set the correct content type. You can get your kindle email address from your devices list on amazon. more

Firefox sync script

2020-04-30

I don't know about you, but I'm not satisfied with the firefox sync. Some addons don't sync at all, sometimes sync breaks entirely without a visible error. The size limit is understandable, but then why is it so hard to set up your own sync server. Anyway, here is a … more

I have a vero 4k armhf box I wanted to do some programming on, and as I use salt to configure all my work machines I tried to install a salt minion. The problem is that the machine comes with a preinstall Debian stretch which only has an outdated salt … more

SSH over tor

2019-11

Using SSH over tor has some benefits, and some downsides. I'll try to explain what they are and how to implement SSH over tor. more

I recently was at a tech event where there was some discussion about newlines in templates. I pointed out that relying on implicit newlines in template files can lead to problems. The short discussion ended with a statement that files always end in a newline, and people moved on. So, … more

This is an update for my post about simple, automated django deployments more

Connecting to the WIFI on the ICE train in Germany didn't work for me. I was using Debian GNU/Linux, and Docker was running. It turns out the train's wireless network uses the same subnet as Docker by default. The solution is pretty simple, kill containers, stop docker, purge networks. Yeah, … more

After installing the 0.16 release of bitcoin on my server that runs my testnet faucet, I was greeted with this error when starting it: bitcoind: "error while loading shared libraries: libgcc_s.so.1": cannot open shared object file: No such file or directory. The problem is quite easy to fix, see below. more

I have used this script to export all private keys in a wallet. The blockchain does not have to be synced, but the wallet obviously has to be unlocked (with walletpassphrase). No warranty. more

The pepperflashplugin-nonfree package in wheezy-backports is broken, as it downloads the flash plugin from the latest chrome release and installs it. The latest release links against libc6 2.14 which is not available in wheezy. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=761184 https://lists.debian.org/debian-backports/2014/09/msg00051.html more

This was quite easy, but I had to find the necessary bits of information first. I wanted to set the Gnome 3 background to a gradient, from the command line. Below I also list the commands that let you explore available keys and values. more

So... I had to check my backups just to figure out how to mount my shares. How annoying is that? On Debian-based systems you need to install cifs-utils. more

I thought that I had to dump specific columns from a table. In the end I needed to parse the resulting XML with a script anyway to convert it to CSV, but here is a reminder for myself (and maybe you): more

There were packages of salt 0.10.1 in backports but they were removed, and the only saltstack packages in Debian are now in unstable. However, building your own backport is quite easy. This assumes you have an up to date Debian squeeze install without any backported saltstack or other packages. Use … more

Update: This script is almost obsolete as github will switch to their v3 API on may 1st, 2012 and doesn't display the API token any more... With this this script you can easily migrate a WordPress plugin from the wordpress.org svn repository to github. This script will NOT import the … more

I recently moved my projects to gunicorn and needed init scripts. Here's what I'm currently using. I have the gunicorns running behind nginx, so you might want to tweak the IP and PORT settings. It might also be nice to use start-stop-daemon. more

You can use wget to mirror pages that use cookies to authenticate visitors. That's usually the case when there is a login form on a site. more