X-Git-Url: https://git.phdru.name/?a=blobdiff_plain;f=dotfiles2html%2Fdotfiles2html.py;h=c543ba93ff7e316d2d641620e527cf5fd77eac56;hb=493247a752fd0ce8cd5acbb9b1d065bb547ded77;hp=54e3d699c3025ab88f6767edea651eca07531bd1;hpb=4ff6fa294dc736eec8d6958737030cf2675d9d1f;p=phdru.name%2Fphdru.name.git diff --git a/dotfiles2html/dotfiles2html.py b/dotfiles2html/dotfiles2html.py index 54e3d69..c543ba9 100755 --- a/dotfiles2html/dotfiles2html.py +++ b/dotfiles2html/dotfiles2html.py @@ -1,7 +1,7 @@ #! /usr/bin/env python __author__ = "Oleg Broytman " -__copyright__ = "Copyright (C) 2004-2012 PhiloSoft Design" +__copyright__ = "Copyright (C) 2004-2013 PhiloSoft Design" import os, shutil, filecmp os.umask(0022) # octal; -rw-r--r-- @@ -29,6 +29,8 @@ def add_headers(fname, first, prev, next, last): txt_name = fname html_file = open(html_fname, 'w') + if fname in ("muttrc", "procmailrc", "vimrc"): + html_file.write("#encoding koi8-r\n") html_file.write("#extends phd_site\n") html_file.write("#implements respond\n") html_file.write("#attr $Title = \"%s\"\n" % dot_name) @@ -56,7 +58,7 @@ home_file_types = (("bashrc", "sh"), ("profile", "sh"), ("shellrc", "sh"), ("fvwm2rc", "fvwm2m4"), ("mailcap", "conf"), ("mime.types", "conf"), ("muttrc", "muttrc"), ("procmailrc", "procmail"), ("vimrc", "vim")) -mc_file_types = (("bindings", "conf"), ("menu", "conf")) +mc_file_types = (("mc.ext", "conf"), ("menu", "conf")) python_file_types = (("init.py", "python"), ("pdbrc", "python"), ("pdbrc.py", "python")) @@ -76,13 +78,20 @@ def process_dotfile(i, fname, ftype, file_types): file.write(text.replace('', '')) file.close() - elif fname in('mailcap', 'menu') and os.path.exists(fname): + elif fname in ('mailcap', 'mc.ext', 'menu') and os.path.exists(fname): file = open(fname, 'r') text = file.read() file.close() file = open(fname, 'w') text = text.replace('mplay', 'mplayer') text = text.replace('mplayerer', 'mplayer') + if fname == 'mailcap': + text = text.replace( + '-a -n "`which smplayer`" -a -n "`which smplayer`"', + '-a -n "`which smplayer`"') + text = text.replace( + '-a -n "`which mplayer`" -a -n "`which mplayer`"', + '-a -n "`which mplayer`"') file.write(text) file.close()