Skip to content

Instantly share code, notes, and snippets.

View cbrgm's full-sized avatar

Christian Bargmann cbrgm

View GitHub Profile
@cbrgm
cbrgm / .zshrc
Created November 30, 2018 20:25
# If you come from bash you might have to change your $PATH.
# export PATH=$HOME/bin:/usr/local/bin:$PATH
# Path to your oh-my-zsh installation.
export ZSH="/home/chris/.oh-my-zsh"
# Set name of the theme to load --- if set to "random", it will
# load a random theme each time oh-my-zsh is loaded, in which case,
# to know which specific one was loaded, run: echo $RANDOM_THEME
# See https://github.com/robbyrussell/oh-my-zsh/wiki/Themes
@cbrgm
cbrgm / i3-config
Last active November 30, 2018 20:19
i3 config
# i3 config file (v4)
#
# Please see https://i3wm.org/docs/userguide.html for a complete reference!
# set windows key as mod-key
set $mod Mod4
# Font for window titles. Will also be used by the bar unless a different font
# is used in the bar {} block below.
# The following packages are required: pacman -S ttf-roboto otf-font-awesome
@cbrgm
cbrgm / install-JabRef.sh
Last active May 16, 2019 14:39
Install JabRef 4.2 Ubuntu 18.04
#!/bin/bash
# Install java packages + javafx
sudo apt-get install default-jdk
sudo apt-get install openjfx
# Download Jabref
sudo wget -P /etc/jabref -O jabref.jar https://www.fosshub.com/JabRef.html/JabRef-4.2.jar
# Create startup script
sudo mkdir /etc/jabref
@cbrgm
cbrgm / gist:b0625bbc06c0e2f53bf45a98f2e26d68
Created May 5, 2018 17:41
Install / Update jsonnet from source
# $ cat install.sh
# /bin/bash
set -e
# Clone and compile
git clone https://github.com/google/jsonnet.git
cd jsonnet
make