From 9ae73081f438595c95aa836a62c7ae5465748d70 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 20 Nov 2012 06:59:39 +0100 Subject: gitignore improvment + remove file to be downloaded if it already exists MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- pony/.gitignore | 1 + pony/watch | 1 + 2 files changed, 2 insertions(+) create mode 100644 pony/.gitignore (limited to 'pony') diff --git a/pony/.gitignore b/pony/.gitignore new file mode 100644 index 0000000..4139e4a --- /dev/null +++ b/pony/.gitignore @@ -0,0 +1 @@ +/pony diff --git a/pony/watch b/pony/watch index c45ca4b..c4f1121 100755 --- a/pony/watch +++ b/pony/watch @@ -1,5 +1,6 @@ #!/bin/sh +[ -f 'pony' ] && rm 'pony' wget http://hackage.haskell.org/package/pony >/dev/null 2>/dev/null if [ $? = 0 ]; then [ -f unfetchable ] && rm unfetchable -- cgit v1.2.3-70-g09d2