commit 37bae400a7b877f55a7c8e439ae118c6a0eef079 parent 6931a0151fa09ef2894bc59d4049516eb6bf3349 Author: Ed van Bruggen <edvb54@gmail.com> Date: Mon, 6 Mar 2017 22:31:03 -0800 Bin: Update scripts and remove sett Diffstat:
| bin/ED.sh | | | 2 | +- |
| bin/checkium.sh | | | 9 | +++++++++ |
| bin/sett | | | 7 | ------- |
3 files changed, 10 insertions(+), 8 deletions(-)
diff --git a/bin/ED.sh b/bin/ED.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -# ED: Rotate between EDITORs +# ED: Rotate between $EDITORs ED() { local EDITOR_new diff --git a/bin/checkium.sh b/bin/checkium.sh @@ -13,6 +13,15 @@ checkium_color() { fi } +checkium_color_simple() { + if [[ $? -eq 0 ]]; then + return 0 + else + echo -ne "\033[0;31m" + return 1 + fi +} + checkium_custom() { if [[ $? -eq 0 ]]; then local char=$1 diff --git a/bin/sett b/bin/sett @@ -1,7 +0,0 @@ -#!/bin/bash - -title=$1 -if [[ -z $title ]]; then - title="$(basename "$PWD")" -fi -echo -n "]0;$title"