2016-01-06 11:55:04 -06:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2016-01-06 12:23:59 -06:00
|
|
|
# This script will seriously nuke your home directory. You should really read
|
|
|
|
# each of the scripts that will be executed in those process.
|
2016-01-06 11:55:04 -06:00
|
|
|
|
2016-01-17 08:52:17 -06:00
|
|
|
export DOTFILES_PATH="$HOME/.dotfiles"
|
2016-09-02 21:14:45 -05:00
|
|
|
export BLACKLISTED_BAR_MODULES=""
|
2016-08-12 06:01:46 -05:00
|
|
|
export REPOSITORY_PATH="$HOME/../code/open-source"
|
2016-07-19 13:25:54 -05:00
|
|
|
export BORDER_WIDTH=1
|
2016-07-27 08:57:56 -05:00
|
|
|
export WINDOW_GAP=5
|
2016-07-29 11:23:51 -05:00
|
|
|
export BAR_PATH="$DOTFILES_PATH/env/wm/extras/bar"
|
|
|
|
export BAR_PID_FILE="$BAR_PATH/wm_bar.pid"
|
2016-01-06 11:55:04 -06:00
|
|
|
|
2016-01-12 15:24:44 -06:00
|
|
|
source "$DOTFILES_PATH/scripts/get_x_fonts.sh"
|
|
|
|
source "$DOTFILES_PATH/scripts/get_color.sh"
|
|
|
|
|
2016-01-17 08:52:17 -06:00
|
|
|
export BAR_ON_XINIT=0
|
2016-07-29 11:23:51 -05:00
|
|
|
export BAR_FIFO="$BAR_PATH/wm_bar_fifo.lock"
|
|
|
|
export BAR_LOG="$BAR_PATH/wm_bar.log"
|
2016-05-04 15:18:41 -05:00
|
|
|
export BAR_TOP=0
|
2016-11-18 15:42:05 -06:00
|
|
|
export BAR_HEIGHT=30
|
2016-04-20 16:09:02 -05:00
|
|
|
export BAR_BORDER_WIDTH=1
|
2016-01-17 08:52:17 -06:00
|
|
|
export BAR_FONT_FAMILY="$PRIMARY_FONT_FAMILY_WITH_SIZE"
|
2016-09-13 14:24:51 -05:00
|
|
|
export BAR_UNDERLINE=0
|
2016-07-27 08:57:56 -05:00
|
|
|
# export BAR_MARGIN=$WINDOW_GAP
|
|
|
|
export BAR_MARGIN=700
|
2016-08-30 17:14:27 -05:00
|
|
|
export BAR_OFFSET=0
|
2016-05-04 15:18:41 -05:00
|
|
|
export BAR_WID="wmpanel"
|
2016-01-07 02:16:53 -06:00
|
|
|
|
2016-07-27 08:57:56 -05:00
|
|
|
export TOP_BAR_PADDING=0
|
|
|
|
export BOTTOM_BAR_PADDING=0
|
|
|
|
|
|
|
|
if [[ $BAR_TOP -eq 0 ]]; then
|
|
|
|
export BOTTOM_BAR_PADDING=$BAR_HEIGHT
|
|
|
|
else
|
|
|
|
export TOP_BAR_PADDING=$BAR_HEIGHT
|
|
|
|
fi
|
|
|
|
|
|
|
|
export WINDOW_GAP=$(expr $WINDOW_GAP - $BORDER_WIDTH)
|
|
|
|
|
2016-01-06 11:55:04 -06:00
|
|
|
# load per-device bashrc_env if it exists
|
|
|
|
if [ -a "$HOME/.bashrc_env" ]; then
|
|
|
|
. "$HOME/.bashrc_env"
|
|
|
|
fi
|