Gitlab CE setup

Posted on Wed 02 November 2016 in tech • Tagged with nginx, gitlab, docker

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

 1
 2
 3
 4
 5
 6
 7
 8
 9 …

Continue reading

Ugly fonts in IntelliJ IDEA on Arch Linux

Posted on Tue 11 October 2016 in tech • Tagged with intellij, arch

UPDATE

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 …


Continue reading

Atom editor notes

Posted on Thu 11 August 2016 in tech • Tagged with editor, atom, python

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

Plugins

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

flake8

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 …

Continue reading

Encrypted Ubuntu 14.04 LTS Installation (RAID, LLVM, LUKS)

Posted on Thu 07 April 2016 in tech • Tagged with linux, ubuntu

Google drive notes I took when setting up my encrypted Ubuntu 14.04 LTS home server (RAID, LLVM and LUKS).


Continue reading

Guided Static Analysis slides

Posted on Thu 22 October 2015 in tech • Tagged with static analysis, ethz, seminar, talk

Checkout the slides of my presentation about the Guided Static Analysis paper by Denis Gopan and Thomas Repos.


Continue reading

Downloading a website for reading offline

Posted on Tue 28 July 2015 in tech • Tagged with linux, wget, university

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 http://www.ita.inf.ethz.ch/alscpr15/

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


Continue reading

Prevent Firefox from reloading pinned tabs at startup

Posted on Wed 08 July 2015 in tech • Tagged with firefox

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

Continue reading

Arch Linux on Toshiba CB30-102 (Chromebook)

Posted on Sun 21 June 2015 in tech • Tagged with arch, chromebook, linux

The Beginners guide in the wiki is straightforward. Here are just some additional notes on setting up Arch Linux on my chromebook.

Planned setup

My device has a 16GB ssd. I'm planning to wipe ChromeOS and partition the disk into two partitions: 2GB /boot (ext4) and a 14GB encrypted partition …


Continue reading

OS X: Reinstall OS stuck at "2 minutes left"

Posted on Sat 21 March 2015 in tech • Tagged with osx

You probably have used homebrew. Haven't you? In the last step of the reinstallation the installer moves / checks files in /usr/local. If you have a lot of files over there (for example because you used homebrew), this takes forever.

Do not abort the installation. Press cmd+L to see …


Continue reading

Using git for SVN repos

Posted on Sat 21 March 2015 in tech • Tagged with git, svn

We're forced to use SVN for some projects at the university. It's OK but when working on the go (Train) and offline it's a pain. Here are the steps for using git.

# initialize repo
git svn clone https://svn-server-address/repo/path

Now you can work and commit to your local …


Continue reading