Skip to content

Instantly share code, notes, and snippets.

@f0i
Created November 25, 2013 10:29
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save f0i/7639365 to your computer and use it in GitHub Desktop.
Save f0i/7639365 to your computer and use it in GitHub Desktop.
Terminal IDE sync script
all: clean copy commit push
clean:
cp makefile /tmp/tidemakefile
-rm * -r
cp /tmp/tidemakefile makefile
copy:
echo "new location of code (e.g. /tmp/TermIDE) without tailing slash:"
read location && cp -r $${location}/* .
commit:
git add .
git rm --cached makefile
git s
echo "month(Apr):" && read month && \
echo "day(04):" && read day && \
echo "year(2013):" && read year && \
echo "message:" && read msg && \
\
git commit -a --author="Spartacus Rex <spartacusrex99@gmail.com>" --date="$${month} $${day} 12:00:00 $${year} +0000" -m "$${msg}"
push:
echo "run 'git push'"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment