Skip to content

Instantly share code, notes, and snippets.

@mbauhardt
mbauhardt / iris-keyboard-mbauhardt.json
Last active April 2, 2019 19:24
My Personal Keebio Iris Keyboard Layout
[
{
"name": "Iris Keyboard",
"author": "Marko Bauhardt",
"background": {
"name": "Aluminium brushed",
"style": "background-image: url('/bg/metal/aluminum_texture1642.jpg');"
},
"switchMount": "cherry",
"switchBrand": "cherry",
@mbauhardt
mbauhardt / iris-keyboard-default.json
Last active February 25, 2019 20:35
Iris Keyboard
[
{
"name": "Iris Keyboard",
"author": "Marko Bauhardt",
"background": {
"name": "Aluminium brushed",
"style": "background-image: url('/bg/metal/aluminum_texture1642.jpg');"
},
"switchMount": "cherry",
"switchBrand": "cherry",
@mbauhardt
mbauhardt / einstein.pl
Last active May 30, 2017 21:13
Prolog program to solve the Einstein Puzzle (https://en.wikipedia.org/wiki/Zebra_Puzzle)
% 5 hauser neben einander
% jedes hat eine andere farbe
% in jedem haus woihnt ein andere nationalität
% in jedem haus ein anderes getränk
% in jedem haus eine andere zigaretten marke
% in jedem haus ein anderes haustier
% 1 der engländer wohnt im roten haus
% 2 der spanier hat einen hund

Keybase proof

I hereby claim:

  • I am mbauhardt on github.
  • I am mbauhardt (https://keybase.io/mbauhardt) on keybase.
  • I have a public key ASCTSDdWXkxgsnOXRq6_CASp_r9RmfiAotqYK5bDcx26XQo

To claim this, I am signing this object:

@mbauhardt
mbauhardt / spowerline.zsh-theme
Last active August 29, 2015 14:06
spowerline.zsh-theme - zsh theme for oh-my-zsh - 0.1.1
#https://github.com/mbauhardt/spowerline
#Generated on Wed Sep 10 21:10:28 CEST 2014
#
PROMPT=$(echo '
%{$bg[blue]%}%{$fg_bold[red]%}$(true) %(?..%?)%{$reset_color%}%{$bg[$(echo blue)]%}%{$fg[blue]%}$(true && echo -e "\xE2\xAE\x80")%{$reset_color%}%{$bg[blue]%}%{$fg_bold[black]%}$(true) %~%{$reset_color%}%{$bg[$({git rev-parse --is-inside-work-tree &> /dev/null && echo green}||{!git rev-parse --is-inside-work-tree &> /dev/null && echo default})]%}%{$fg[blue]%}$(true && echo -e "\xE2\xAE\x80")%{$reset_color%}%{$bg[green]%}%{$fg_bold[black]%}$(git rev-parse --is-inside-work-tree &> /dev/null && ZSH_THEME_GIT_PROMPT_PREFIX=$(echo -e " \xe2\xad\xa0 ") && ZSH_THEME_GIT_PROMPT_SUFFIX='' && ZSH_THEME_GIT_PROMPT_DIRTY=$(echo -e " \xe2\x9c\x97 ") && ZSH_THEME_GIT_PROMPT_CLEAN='' && git_prompt_info)$(git rev-parse --is-inside-work-tree &> /dev/null && ZSH_THEME_GIT_PROMPT_AHEAD_REMOTE=$(echo -e " \xe2\x86\x91 ") && ZSH_THEME_GIT_PROMPT_BEHIND_REMOTE=$(echo -e " \xe2\x86\x93 ") && ZSH_THEME_GIT_PROMPT_DIVERGED_REMOTE=$(
@mbauhardt
mbauhardt / qwer.zsh-theme
Created November 6, 2013 21:18
ohmyzsh theme
new_line() {
echo ''
}
reset_colors() {
echo -n "%{%k%}"
echo -n "%{%f%}"
}
prompt_status() {
@mbauhardt
mbauhardt / myenv.plugin.zsh
Last active December 15, 2015 22:18
one of my tiny oh my zsh env
alias emacs="/Applications/Emacs.app/Contents/MacOS/emacs -nw"
alias gbc="git branch --contains"
compdef _git gbc=git-branch
alias glpg="git log --pretty=format:'%C(red)%h %C(magenta)%an %C(cyan)%ar% %C(green)%s' --graph"
compdef _git glpg=git-log
export PATH=/usr/local/bin:$PATH
# EC2
export JAVA_HOME=/System/Library/Frameworks/JavaVM.framework/Versions/CurrentJDK/Home
@mbauhardt
mbauhardt / oh-my-zsh-bootstrap-wrapper.zsh
Last active December 15, 2015 15:59
a wrapper script which installs oh-my-zsh, oh-my-zsh-bootstrap plugin, download different third party plugins, enable some core and third party plugins and enable special theme
#!/bin/zsh
curl -L https://github.com/mbauhardt/oh-my-zsh-bootstrap/raw/master/tools/install.zsh | zsh
source $HOME/.zshrc
enable_plugin rvm
enable_plugin dircycle
enable_plugin git-extras
download_and_enable_plugin https://gist.github.com/5136962.git antw
@mbauhardt
mbauhardt / init.el
Created March 24, 2013 17:33
my emacs el file to setup erc with ssl
(require 'erc-services)
(erc-services-mode 1)
(eval-after-load "erc"
'(progn
(setq erc-prompt-for-nickserv-password "")))
;; Set autoconnect networks
@mbauhardt
mbauhardt / .zshrc
Created March 12, 2013 22:05
My ohmyzsh .zshrc file
# Path to your oh-my-zsh configuration.
ZSH=$HOME/.oh-my-zsh
# Set name of the theme to load.
# Look in ~/.oh-my-zsh/themes/
# Optionally, if you set this to "random", it'll load a random theme each
# time that oh-my-zsh is loaded.
ZSH_THEME=""
# Example aliases