]> git.phdru.name Git - phdru.name/phdru.name.git/blobdiff - dotfiles2html/dotfiles2html.py
Slightly changed vim options.
[phdru.name/phdru.name.git] / dotfiles2html / dotfiles2html.py
index 5ef24c12fcc94b6b49359ae6102b1c09ccba35ad..7185b283b11bc84876e949bf44f48b111901feab 100755 (executable)
@@ -1,4 +1,4 @@
-#! /usr/local/bin/python -O
+#! /usr/bin/env python
 
 __version__ = "$Revision$"[11:-2]
 __revision__ = "$Id$"[5:-2]
@@ -59,7 +59,7 @@ for i, (fname, ftype) in enumerate(file_types):
    if os.path.exists('.' + fname) and not os.path.exists(fname):
       shutil.copy2('.' + fname, fname)
    if os.path.exists(fname):
-      os.system("""exec gvim -f -c "set syntax=%s" -c ":source %s/dotfile2html.vim" "%s"
+      os.system("""exec gvim -f -c "set filetype=%s" -c ":source %s/dotfile2html.vim" "%s"
          """ % (ftype, home_dir, fname))
       if i == 0:
          prev = None