drop the .txt suffix for git dumps - serve only text/plain in nginx instead

git-dump

@@ -4,6 +4,9 @@
 # Working directory needs to be git repo
 # call with name of directory you'd like to dump to
 
+# if used with a web server, make sure to always server type text/plain
+# or append .txt to fullpath
+
 set -eu
 
 DIR="/var/www/git-dump/$1"
@@ -16,7 +19,7 @@ echo "$files" | while IFS=$'\n' read -r f; do
   subdir=`dirname $f`
   fulldir="$DIR/$subdir"
   mkdir -p "$fulldir"
-  fullpath="$DIR/$f.txt"
+  fullpath="$DIR/$f"
   git show HEAD:"$f" > "$fullpath"
   if file "$fullpath" | grep -q "text"; then
     :