From f21d7e7f11b8fda24c21eafef8808c5451bfda31 Mon Sep 17 00:00:00 2001 From: Martin Potier Date: Sun, 4 Sep 2016 03:28:18 +0200 Subject: [PATCH 1/6] Support tikz as tex files --- emacs/.spacemacs | 1 + 1 file changed, 1 insertion(+) diff --git a/emacs/.spacemacs b/emacs/.spacemacs index 475f96c..2c04873 100644 --- a/emacs/.spacemacs +++ b/emacs/.spacemacs @@ -255,6 +255,7 @@ before packages are loaded. If you are unsure, you should try in setting them in monokai monochrome )) + (add-to-list 'auto-mode-alist '("\\.tikz\\'" . latex-mode)) ) (defun dotspacemacs/user-config () From 9f931911e331afd517b53477f73f96f26f1de84b Mon Sep 17 00:00:00 2001 From: Martin Potier Date: Sun, 4 Sep 2016 03:29:23 +0200 Subject: [PATCH 2/6] better vpn commands --- scripts/prefix/bin/vpn | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/scripts/prefix/bin/vpn b/scripts/prefix/bin/vpn index e3f24c6..af5dc08 100755 --- a/scripts/prefix/bin/vpn +++ b/scripts/prefix/bin/vpn @@ -1,5 +1,13 @@ #!/bin/sh +HARDPROFILE="2947fbbad4" +if [[ $(hostname) == "DeathStar" ]] +then + OODPROFILE="OodDeathStar" +else + OODPROFILE="OodCanine" +fi + if [[ $# -ne 1 ]] then echo "$(basename $0) requires exactly one of: hard, medium, off" @@ -7,10 +15,10 @@ then else case $1 in "hard") - PROFILE="2947fbbad4" + PROFILE=$HARDPROFILE ;; "medium") - [[ $(hostname) == "DeathStar" ]] && PROFILE="OodDeathStar" || PROFILE="OodCanine" + PROFILE=$OODPROFILE ;; "off") ;; @@ -20,14 +28,16 @@ else ;; esac - sudo systemctl stop openvpn@2947fbbad4.service - sudo systemctl stop openvpn@OodCanine.service + sudo systemctl stop openvpn@$HARDPROFILE.service + sudo systemctl stop openvpn@$OODPROFILE.service sleep 1s if [[ -n $PROFILE ]] then sudo systemctl start openvpn@$PROFILE.service + echo "$PROFILE started" + else + echo "All stopped." fi - echo "$PROFILE started" fi From ce34d2df41895c5aa1871410d3410effc1a8a172 Mon Sep 17 00:00:00 2001 From: Martin Potier Date: Sun, 4 Sep 2016 03:29:40 +0200 Subject: [PATCH 3/6] Dark solarized by default --- vim/.vimrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vim/.vimrc b/vim/.vimrc index a45ac7d..db7fcfd 100644 --- a/vim/.vimrc +++ b/vim/.vimrc @@ -28,7 +28,7 @@ if has('gui_running') set background=light set guifont=Inconsolata\ 16 else - set background=light + set background=dark endif let g:solarized_termcolors=16 From 50fdac37b320adc4aac8672130a8810f190eb0fb Mon Sep 17 00:00:00 2001 From: Martin Potier Date: Sun, 4 Sep 2016 03:30:09 +0200 Subject: [PATCH 4/6] New default prompt --- zsh/.zshrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zsh/.zshrc b/zsh/.zshrc index 71cba1f..d09d420 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -4,7 +4,7 @@ export ZSH=$HOME/.oh-my-zsh # Default plugins (used everywhere) plugins=(git systemd) -ZSH_THEME="lambda" +ZSH_THEME="zhann" source $ZSH/oh-my-zsh.sh export EDITOR='vim' From 1bf253827646439c5384ee404f470bd358603309 Mon Sep 17 00:00:00 2001 From: Martin Potier Date: Sun, 4 Sep 2016 04:28:32 +0200 Subject: [PATCH 5/6] Add ls dircolors --- configure | 8 ++++++++ zsh/.zshrc | 4 ++++ 2 files changed, 12 insertions(+) diff --git a/configure b/configure index a064dd5..dda1942 100755 --- a/configure +++ b/configure @@ -62,6 +62,14 @@ case $1 in stow -v zsh echo "You can add your local config in ~/.zsh-local-$HOST" ;; + "dircolors" ) + echo "Installing dircolors config" + git clone https://github.com/huyz/dircolors-solarized ~/.dircolors + ln -s ~/.dircolors/dircolors.ansi-dark ~/.dir_colors + echo "Default dircolors theme is dark ansi" + echo "Please check that your terminal emulator is listed at the begining" + echo "of the file like so: TERM xterm-termite (for termite)" + ;; * ) echo "$1 cannot be installed…" exit 1 diff --git a/zsh/.zshrc b/zsh/.zshrc index d09d420..41e6524 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -31,3 +31,7 @@ if [ -f "$HOME/.zsh-local-$HOST" ]; then source $HOME/.zsh-local-$HOST fi +# Colors files (if file exists +if [ -f "$HOME/.dir_colors" ]; then + eval `dircolors ~/.dir_colors` +fi From 2ede836f4c4634f7d4e272cfa173161e766d9ebe Mon Sep 17 00:00:00 2001 From: Martin Potier Date: Fri, 4 Nov 2016 14:57:00 +0100 Subject: [PATCH 6/6] Updating and pushing dircolors --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index dda1942..0a37061 100755 --- a/configure +++ b/configure @@ -64,7 +64,7 @@ case $1 in ;; "dircolors" ) echo "Installing dircolors config" - git clone https://github.com/huyz/dircolors-solarized ~/.dircolors + git clone https://github.com/seebi/dircolors-solarized ~/.dircolors ln -s ~/.dircolors/dircolors.ansi-dark ~/.dir_colors echo "Default dircolors theme is dark ansi" echo "Please check that your terminal emulator is listed at the begining"