diff --git a/variables.bash b/variables.bash index 3987673..a51a953 100755 --- a/variables.bash +++ b/variables.bash @@ -3,22 +3,22 @@ # This script will seriously nuke your home directory. You should really read # each of the scripts that will be executed in those process. -DOTFILES_PATH="$HOME/.dotfiles" -REPOSITORY_PATH="$HOME/Documents/Repositories" -WINDOW_GAP=20 -BORDER_WIDTH=2 +export DOTFILES_PATH="$HOME/.dotfiles" +export REPOSITORY_PATH="$HOME/Documents/Repositories" +export WINDOW_GAP=20 +export BORDER_WIDTH=2 source "$DOTFILES_PATH/scripts/get_x_fonts.sh" source "$DOTFILES_PATH/scripts/get_color.sh" -BAR_ON_XINIT=0 -BAR_FIFO="$DOTFILES_PATH/wm_bar_fifo.lock" -BAR_TOP=0 -BAR_MARGIN=$WINDOW_GAP -BAR_HEIGHT=28 -BAR_BORDER_WIDTH=2 -BAR_FONT_FAMILY="$PRIMARY_FONT_FAMILY_WITH_SIZE" -BAR_UNDERLINE=1 +export BAR_ON_XINIT=0 +export BAR_FIFO="$DOTFILES_PATH/wm_bar_fifo.lock" +export BAR_TOP=0 +export BAR_MARGIN=$WINDOW_GAP +export BAR_HEIGHT=28 +export BAR_BORDER_WIDTH=2 +export BAR_FONT_FAMILY="$PRIMARY_FONT_FAMILY_WITH_SIZE" +export BAR_UNDERLINE=1 # load per-device bashrc_env if it exists if [ -a "$HOME/.bashrc_env" ]; then diff --git a/x/reset_monitors.bash b/x/reset_monitors.bash new file mode 100755 index 0000000..1329677 --- /dev/null +++ b/x/reset_monitors.bash @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +