diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/border | 5 | ||||
| -rwxr-xr-x | scripts/gap | 3 | ||||
| -rwxr-xr-x | scripts/nocomment | 6 |
3 files changed, 0 insertions, 14 deletions
diff --git a/scripts/border b/scripts/border deleted file mode 100755 index 6738acd..0000000 --- a/scripts/border +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -bspc config border_width $1 - -[ $1 = "blue" ] && bspc config focused_border_color "#099999" diff --git a/scripts/gap b/scripts/gap deleted file mode 100755 index c094380..0000000 --- a/scripts/gap +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -bspc config window_gap $1 diff --git a/scripts/nocomment b/scripts/nocomment deleted file mode 100755 index cd5f0c2..0000000 --- a/scripts/nocomment +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -# Remove all the commments in the given file -# Comments are considered to start with "#" - -sed -i "s/\s*#.*//g; /^$/ d" $1 |