Index: src/scripts/common.sh |
diff --git a/src/scripts/common.sh b/src/scripts/common.sh |
index f75fa6b1301dc994d0eab7faa268ea1d3e8348f1..c5ae10413238823a0ce78a38a855839bc14455e9 100644 |
--- a/src/scripts/common.sh |
+++ b/src/scripts/common.sh |
@@ -149,8 +149,8 @@ esac |
# Functions |
function setup_board_warning { |
- echo |
- echo "$V_REVERSE================= WARNING ======================$V_VIDOFF" |
+ echo |
+ echo "$V_REVERSE================= WARNING ======================$V_VIDOFF" |
echo |
echo "*** No default board detected in " \ |
"$GCLIENT_ROOT/src/scripts/.default_board" |
@@ -162,8 +162,8 @@ function setup_board_warning { |
# Sets the default board variable for calling script |
function get_default_board { |
- DEFAULT_BOARD= |
- |
+ DEFAULT_BOARD= |
+ |
if [ -f "$GCLIENT_ROOT/src/scripts/.default_board" ] ; then |
DEFAULT_BOARD=`cat "$GCLIENT_ROOT/src/scripts/.default_board"` |
fi |
@@ -323,3 +323,17 @@ function eretry () { |
function remove_quotes() { |
echo "$1" | sed -e "s/^'//; s/'$//" |
} |
+ |
+# Writes stdin to the given file name as root using sudo in overwrite mode. |
+# |
+# $1 - The output file name. |
+function sudo_clobber() { |
+ sudo tee "$1" > /dev/null |
+} |
+ |
+# Writes stdin to the given file name as root using sudo in append mode. |
+# |
+# $1 - The output file name. |
+function sudo_append() { |
+ sudo tee -a "$1" > /dev/null |
+} |