Fixed typo

diff --git a/doc/index.org b/doc/index.org
index 81e4cbe..9284711 100644 (file)
--- a/doc/index.org
+++ b/doc/index.org
@@ -1,7 +1,7 @@
 #+TITLE: Sixth - system for data storage, computation, exploration and interaction
 
 -----
-- Clone GIT repository using commanad:
+- Clone GIT repository using command:
   : git clone http://www2.svjatoslav.eu/git/sixth.git
 
 - [[http://www2.svjatoslav.eu/gitweb/?p=sixth.git;a=snapshot;h=HEAD;sf=tgz][Download latest snapshot in TAR GZ format]]

diff --git a/tools/commit and push b/tools/commit and push
new file mode 100755 (executable)
index 0000000..057b511
--- /dev/null
+++ b/tools/commit and push
@@ -0,0 +1,11 @@
+#!/bin/bash
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
+
+cd ..
+
+cola
+git push
+
+echo ""
+echo "Press ENTER to close this window."
+read

diff --git a/tools/open with git-cola b/tools/open with git-cola
deleted file mode 100755 (executable)
index 8655908..0000000
--- a/tools/open with git-cola
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-cd "${0%/*}"
-
-cd ..
-
-cola