def get_wiki(self, arg):
editurl = '/wiki/edit/' + arg
o = self.response.out
obj = self.repo.traverse(gitcontent.wiki_to_git_path(arg))
if obj is not None:
contents = babygit.babygit.obj_contents(obj)
common.header(o, "")
o.write('<script type="text/javascript">GH={};</script>')
o.write('<script src="/js/typeset.js" type="text/javascript"></script>')
o.write('<script src="/js/sexpression.js" type="text/javascript"></script>')
o.write('<script src="/js/prover/numUtil.js" type="text/javascript"></script>')
o.write('<script src="/js/prover/setUtil.js" type="text/javascript"></script>')
o.write('<script src="/js/prover/tupleUtil.js" type="text/javascript"></script>')
o.write('<script type="text/javascript"')
o.write(' src="//cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">')
o.write('</script>')
o.write('<div id="text-body">')
# o.write("Ghilbert wiki: " + arg)
o.write(ghmarkup.process_ghmarkup(contents, '/'))
if self.has_write_perm:
o.write('<div><a href="%s">Edit</a></div>\n' % urllib.quote(editurl))
else:
o.write('<div><a href="/account/Login">Login to edit</a></div>\n')
o.write('<script type="text/javascript">GH.typeset.formatWiki()</script>')
else:
o.write('<p>No page yet for ' + cgi.escape(arg) + ', but you can <a href="' + editurl + '">create</a> one.</p>')
def serve_edit(self, editurl, preview = None, msg = None):
if not self.has_write_perm:
return common.error_403(self)
if preview is None:
obj = self.repo.traverse(gitcontent.wiki_to_git_path(editurl))
if obj is None:
action = 'Creating'
contents = ''
else:
action = 'Editing'
contents = babygit.babygit.obj_contents(obj)
else:
action = 'Preview of'
contents = preview
o = self.response.out
title = action + ' wiki page: ' + cgi.escape(editurl)
o.write('<html><title>' + title + '</title>\n')
o.write('<body><h1>' + title + '</h1>\n')
if preview is not None:
o.write(ghmarkup.process_ghmarkup(contents, '/'))
o.write('<form method="post" action="/wiki/save/' + urllib.quote(editurl) + '">\n')
o.write('<textarea cols="80" rows="24" name="content">')
for line in contents.rstrip().split('\n'):
o.write(cgi.escape(line) + '\n')
o.write('</textarea>\n')
o.write('<br >\n')
o.write('Commit msg: <input type="text" name="msg" size="65"')
if msg is not None:
o.write(' value="' + cgi.escape(msg, True) + '"')
o.write('>\n')
o.write('<br >\n')
o.write('<input type="submit" name="preview" value="Preview">\n')
o.write('<input type="submit" name="save" value="Save">\n')
def get_wiki_html(wikipath, basepath = '/'):
obj = traverse(wiki_to_git_path(wikipath))
if obj is None:
return obj
else:
contents = babygit.babygit.obj_contents(obj)
return ghmarkup.process_ghmarkup(contents, basepath)
def serve_edit(self, editurl, preview = None, msg = None):
if not self.has_write_perm:
return common.error_403(self)
if preview is None:
obj = self.repo.traverse(gitcontent.wiki_to_git_path(editurl))
if obj is None:
action = 'Creating'
contents = ''
else:
action = 'Editing'
contents = babygit.babygit.obj_contents(obj)
else:
action = 'Preview of'
contents = preview
o = self.response.out
title = action + ' wiki page: ' + cgi.escape(editurl)
o.write('<html><title>' + title + '</title>\n')
o.write('<link rel=stylesheet href="/static/wiki.css" type="text/css">')
o.write('<body><h1>' + title + '</h1>\n')
if preview is not None:
o.write(ghmarkup.process_ghmarkup(contents, '/'))
o.write('<form method="post" action="/wiki/save/' + urllib.quote(editurl) + '">\n')
o.write('<textarea cols="80" rows="24" name="content">')
for line in contents.rstrip().split('\n'):
o.write(cgi.escape(line) + '\n')
o.write('</textarea>\n')
o.write('<br >\n')
o.write('Commit msg: <input type="text" name="msg" size="65"')
if msg is not None:
o.write(' value="' + cgi.escape(msg, True) + '"')
o.write('>\n')
o.write('<br >\n')
o.write('<input type="submit" name="preview" value="Preview">\n')
o.write('<input type="submit" name="save" value="Save">\n')
def get_wiki(self, arg):
editurl = '/wiki/edit/' + arg
o = self.response.out
obj = self.repo.traverse(gitcontent.wiki_to_git_path(arg))
if obj is not None:
contents = babygit.babygit.obj_contents(obj)
common.header(o, "")
o.write('<script type="text/javascript">GH={};</script>')
o.write('<script src="/js/typeset.js" type="text/javascript"></script>')
o.write('<script src="/js/sexpression.js" type="text/javascript"></script>')
o.write('<script src="/js/prover/numUtil.js" type="text/javascript"></script>')
o.write('<script src="/js/prover/setUtil.js" type="text/javascript"></script>')
o.write('<script src="/js/prover/tupleUtil.js" type="text/javascript"></script>')
o.write('<script type="text/javascript"')
o.write(' src="//cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML">')
o.write('</script>')
o.write('<div id="text-body">')
# o.write("Ghilbert wiki: " + arg)
o.write(ghmarkup.process_ghmarkup(contents, '/'))
if self.has_write_perm:
o.write('<div><a href="%s">Edit</a></div>\n' % urllib.quote(editurl))
else:
o.write('<div><a href="/account/Login">Login to edit</a></div>\n')
o.write('<script type="text/javascript">GH.typeset.formatWiki()</script>')
else:
o.write('<p>No page yet for ' + cgi.escape(arg) + ', but you can <a href="' + editurl + '">create</a> one.</p>')
def get_wiki_html(wikipath, basepath='/'):
obj = traverse(wiki_to_git_path(wikipath))
if obj is None:
return obj
else:
contents = babygit.babygit.obj_contents(obj)
return ghmarkup.process_ghmarkup(contents, basepath)
def get_wiki(self, arg):
editurl = '/wiki/edit/' + arg
o = self.response.out
obj = self.repo.traverse(gitcontent.wiki_to_git_path(arg))
if obj is not None:
contents = babygit.babygit.obj_contents(obj)
common.header(o, "Ghilbert wiki: " + arg)
o.write(ghmarkup.process_ghmarkup(contents, '/'))
if self.has_write_perm:
o.write('<div><a href="%s">Edit</a></div>\n' % urllib.quote(editurl))
else:
o.write('<div><a href="/account/Login">Login to edit</a></div>\n')
else:
o.write('<p>No page yet for ' + cgi.escape(arg) + ', but you can <a href="' + editurl + '">create</a> one.</p>')
