tildetown
/
tilde-wiki
1
0
Fork 1
Code Issues Pull Requests 2 Releases Wiki Activity

take out css hack; just inline css

master
nathaniel smith 2017-09-23 15:05:05 -07:00
parent f5e7c75a8a
commit a27859fda1
2 changed files with 13 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tildewiki/compilation.py
View File

@ -2,7 +2,6 @@ import os
import re import re
from datetime import datetime from datetime import datetime
from os.path import join as path_join from os.path import join as path_join
from shutil import copyfile
from markdown import markdown from markdown import markdown
@ -42,10 +41,6 @@ def compile_wiki(source_path: str, dest_path: str) -> None:
for source_filename in files: for source_filename in files:
source_file_path = path_join(root, source_filename) source_file_path = path_join(root, source_filename)
# TODO this is really ugly; consider just copying anything not in approved extensions
if source_file_path.endswith('.css'):
copyfile(source_file_path, path_join(preview_root, source_filename))
else:
output = compile_source_file( output = compile_source_file(
source_file_path, source_file_path,
header_content, header_content,

3
tildewiki/main.py
View File

@ -149,6 +149,9 @@ def publish(config, local_repo_path):
click.echo('Compiling wiki to {}'.format(config.publish_path)) click.echo('Compiling wiki to {}'.format(config.publish_path))
click.confirm(WIPE_PROMPT.format(config.publish_path), abort=True) click.confirm(WIPE_PROMPT.format(config.publish_path), abort=True)
# TODO there is a showstopping bug here: remaking the publish path
# strips all permissions. actually delete the stuff in there, not the
# dir itself.
rmtree(config.publish_path, onerror=onerror) rmtree(config.publish_path, onerror=onerror)
if len(rm_error_paths) == 0: if len(rm_error_paths) == 0:
os.makedirs(config.publish_path) os.makedirs(config.publish_path)