Few updates
This commit is contained in:
parent
c5cf9b248c
commit
477f7dc5a8
8 changed files with 49 additions and 2 deletions
|
@ -22,6 +22,7 @@ alias obi='obuild install'
|
||||||
alias obbi='obuild build && obuild install'
|
alias obbi='obuild build && obuild install'
|
||||||
alias obcb='obuild configure && obuild build'
|
alias obcb='obuild configure && obuild build'
|
||||||
alias obcbi='obuild configure && obuild build && obuild install'
|
alias obcbi='obuild configure && obuild build && obuild install'
|
||||||
|
alias venv='source venv/bin/activate'
|
||||||
|
|
||||||
alias ocaml="/usr/bin/rlwrap ocaml"
|
alias ocaml="/usr/bin/rlwrap ocaml"
|
||||||
alias coqtop="/usr/bin/rlwrap coqtop"
|
alias coqtop="/usr/bin/rlwrap coqtop"
|
||||||
|
|
|
@ -45,8 +45,11 @@ export EDITOR=/usr/bin/vim
|
||||||
export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel'
|
export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel'
|
||||||
|
|
||||||
export PATH="$PATH:/home/tobast/bin"
|
export PATH="$PATH:/home/tobast/bin"
|
||||||
|
export MANPATH="$MANPATH:$HOME/local/man"
|
||||||
|
|
||||||
export TERMINAL="/usr/bin/terminator"
|
export TERMINAL="/usr/bin/terminator"
|
||||||
|
|
||||||
|
export LC_REALUSER='tbastian'
|
||||||
|
|
||||||
# Opam
|
# Opam
|
||||||
which opam > /dev/null 2>&1 && [ -f ~/.opam ] && eval `opam config env`
|
which opam > /dev/null 2>&1 && [ -f ~/.opam ] && eval `opam config env`
|
||||||
|
|
24
files/.config/i3/bin/screenplace
Executable file
24
files/.config/i3/bin/screenplace
Executable file
|
@ -0,0 +1,24 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
dftScreen="LVDS1"
|
||||||
|
|
||||||
|
screens=$(xrandr | grep " connected" | cut -f 1 -d ' ' | grep -v "LVDS")
|
||||||
|
screen=$(echo $screens | head -n 1)
|
||||||
|
|
||||||
|
case "$1" in
|
||||||
|
"reset")
|
||||||
|
xrandr --auto
|
||||||
|
;;
|
||||||
|
"left")
|
||||||
|
[ -z "$screen" ] && >&2 echo "No screen connected." && exit 1
|
||||||
|
xrandr --output "$screen" --left-of "$dftScreen" --auto
|
||||||
|
;;
|
||||||
|
"right")
|
||||||
|
[ -z "$screen" ] && >&2 echo "No screen connected." && exit 1
|
||||||
|
xrandr --output "$screen" --right-of "$dftScreen" --auto
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
>&2 echo -e "Missing argument. Usage:\n$0 [reset|left|right]"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
|
|
|
@ -127,7 +127,7 @@ bindsym $mod+equal workspace 12
|
||||||
|
|
||||||
# Weechat-like
|
# Weechat-like
|
||||||
workspace_auto_back_and_forth yes
|
workspace_auto_back_and_forth yes
|
||||||
bindsym $mod+p workspace back_and_forth
|
bindsym $mod+grave workspace back_and_forth
|
||||||
|
|
||||||
# switch to next/prev workspace
|
# switch to next/prev workspace
|
||||||
bindsym $mod+Control+Left workspace prev_on_output
|
bindsym $mod+Control+Left workspace prev_on_output
|
||||||
|
@ -151,6 +151,11 @@ bindsym $mod+Shift+0 move container to workspace 10
|
||||||
bindsym $mod+Shift+minus move container to workspace 11
|
bindsym $mod+Shift+minus move container to workspace 11
|
||||||
bindsym $mod+Shift+equal move container to workspace 12
|
bindsym $mod+Shift+equal move container to workspace 12
|
||||||
|
|
||||||
|
# xrandr
|
||||||
|
bindsym $mod+Shift+KP_4 exec ~/.config/i3/bin/screenplace left
|
||||||
|
bindsym $mod+Shift+KP_5 exec ~/.config/i3/bin/screenplace reset
|
||||||
|
bindsym $mod+Shift+KP_6 exec ~/.config/i3/bin/screenplace right
|
||||||
|
|
||||||
# reload the configuration file
|
# reload the configuration file
|
||||||
bindsym $mod+Shift+c reload
|
bindsym $mod+Shift+c reload
|
||||||
# restart i3 inplace (preserves your layout/session, can be used to upgrade i3)
|
# restart i3 inplace (preserves your layout/session, can be used to upgrade i3)
|
||||||
|
|
11
files/.config/systemd/user/gpg-agent.service
Normal file
11
files/.config/systemd/user/gpg-agent.service
Normal file
|
@ -0,0 +1,11 @@
|
||||||
|
[Unit]
|
||||||
|
Description=GnuPG private key agent
|
||||||
|
IgnoreOnIsolate=true
|
||||||
|
|
||||||
|
[Service]
|
||||||
|
Type=forking
|
||||||
|
ExecStart=/usr/bin/gpg-agent --daemon
|
||||||
|
Restart=on-abort
|
||||||
|
|
||||||
|
[Install]
|
||||||
|
WantedBy=default.target
|
|
@ -1,6 +1,6 @@
|
||||||
[Unit]
|
[Unit]
|
||||||
Description=Weechat notifications from a distant server
|
Description=Weechat notifications from a distant server
|
||||||
After=network.target display-manager.service
|
After=network.target display-manager.service gpg-agent.service
|
||||||
|
|
||||||
[Service]
|
[Service]
|
||||||
Type=simple
|
Type=simple
|
||||||
|
|
|
@ -23,6 +23,7 @@
|
||||||
background_darkness = 0.79
|
background_darkness = 0.79
|
||||||
background_image = None
|
background_image = None
|
||||||
background_type = transparent
|
background_type = transparent
|
||||||
|
font = Sans 10
|
||||||
foreground_color = "#fffeab"
|
foreground_color = "#fffeab"
|
||||||
scrollbar_position = hidden
|
scrollbar_position = hidden
|
||||||
show_titlebar = False
|
show_titlebar = False
|
||||||
|
@ -49,3 +50,4 @@
|
||||||
scrollbar_position = hidden
|
scrollbar_position = hidden
|
||||||
show_titlebar = False
|
show_titlebar = False
|
||||||
[[with_titlebar]]
|
[[with_titlebar]]
|
||||||
|
background_image = None
|
||||||
|
|
1
files/.gitignore
vendored
1
files/.gitignore
vendored
|
@ -1,2 +1,3 @@
|
||||||
*.swp
|
*.swp
|
||||||
*.syntastic_*_config
|
*.syntastic_*_config
|
||||||
|
.vimrc
|
||||||
|
|
Loading…
Reference in a new issue