1 files changed, 16 insertions, 0 deletions
diff --git a/src/external_tools/functions.sh b/src/external_tools/functions.sh
new file mode 100755
index 0000000..2f70eaf
--- /dev/null
+++ b/src/external_tools/functions.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+# Awaits user key press.
+pause ()
+{
+ echo "Press any key to continue…"
+ OLDCONFIG=$(stty -g)
+ stty -icanon -echo min 1 time 0
+ dd count=1 2>/dev/null
+ stty $OLDCONFIG
+}
+
+# Set terminal title for gnome-terminal and many others
+settitle() {
+  echo -n -e "\033]0;${remmina_term_title}\007"
+}