]> 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 504261969124c84d61c6afa1304362d990198443..7185b283b11bc84876e949bf44f48b111901feab 100755 (executable)
@@ -1,4 +1,4 @@
-#! /usr/local/bin/python -O
+#! /usr/bin/env python
 
 __version__ = "$Revision$"[11:-2]
 __revision__ = "$Id$"[5:-2]
@@ -47,18 +47,19 @@ def add_headers(fname, prev, next):
    html_file.close()
 
 
-file_types = (("fvwm2rc", "fvwm"),
+file_types = (("fvwm2rc", "fvwm2m4"),
       ("mailcap", "conf"), ("mime.types", "conf"),
       ("muttrc", "muttrc"), ("procmailrc", "procmail"),
       ("vimrc", "vim"), ("gvimrc", "vim"),
-      ("init.py", "python"), ("init_old.py", "python"))
+      ("init.py", "python"), ("init_old.py", "python"),
+      ("pdbrc", "python"), ("pdbrc.py", "python"))
 ft_len = len(file_types)
 
 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