Gitlab CE setup

The latest addition to my server at home is a Gitlab Community Edition instance. I use the docker image provided by Gitlab behind a nginx reverse proxy. Below are some notes for setting up, configuring and troubleshooting the installation.

Docker command

 9 …
more ...

Ugly fonts in IntelliJ IDEA on Arch Linux


intellij-jdk is now marked orphaned in AUR. I therefore stopped using this package and switched to a manual install of IntelliJ IDEA. This way the bundled jdk by Jetbrains is used automatically.

Old Post

Java fonts on Linux have been ugly for a while. Especially in an IDE it's …

more ...

Atom editor notes

Some notes on my atom editor setup. Will be expanded throughout time.


apm install atom-runner
apm install linter
apm install linter-flake8
apm install linter-gcc


linter-flake8 needs a flake8 binary. We'll install this into a virtualenv used for atom.

mkvirtualenv atom
# make sure you're in the new virtualenv …
more ...

Downloading a website for reading offline

I needed a way to download all papers and exercises of one of my lectures. Here's a good wget snippet to mirror the website:

wget --mirror --convert-links --adjust-extension --page-requisites -np -nH -N --cut-dirs=1

Source: Tweet by @doublec (tweets are protected now)

more ...

Prevent Firefox from reloading pinned tabs at startup

Firefox has a setting "Don't load tabs until selected". But enabling this will not prevent Firefox from reloading every pinned tab at startup. Fortunately there seems to be a specific preference for this one too:

  • open about:config
  • set browser.sessionstore.restore_pinned_tabs_on_demand to true
more ...