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>')