octomode/templates/base.html

<!DOCTYPE html>
<html lang='en'>
<head>
  <meta charset="utf-8" />
  <title>{{ name }} in octomode</title>
  <link rel="stylesheet" type="text/css" href="{{ url_for('static', filename='main.css') }}">
  {% block head %}
  {% endblock %}
</head>
<body>
  <div id="wrapper">
    {% block content %}
    {% endblock %}
  </div>
</body>
<script>
window.addEventListener('load', function () {

  // Insert the nav buttons, after the page is loaded
  const nav = document.createElement('div');
  nav.id = 'nav';

  nav.innerHTML = `
    <h1>{{ name }} <a href="/"><em class="octomode">in octomode</em></a></h1>
    <div id="buttons">

      <a href="/{{ name }}/pad"><button>pad</button></a>:
      <input type="text" name="pad" value="{{ pad_url }}/{{ name }}.md">

      <a href="/{{ name }}/stylesheet"><button>stylesheet</button></a>:
      <input type="text" name="pad" value="{{ pad_url }}/{{ name }}.css">

      <a href="/{{ name }}/html"><button>html</button></a>

      <a href="/{{ name }}/pdf"><button>pdf</button></a>
    </div>`;

  document.body.insertBefore(nav, document.body.firstChild);

})
</script>
{% block footer %}
{% endblock %}
</html>
uploading this to the git to start sharing this prototype 2021-06-24 14:04:14 +02:00			`<!DOCTYPE html>`
			`<html lang='en'>`
			`<head>`
chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			`<meta charset="utf-8" />`
			`<title>{{ name }} in octomode</title>`
refactor!: unify slash handling It is hard to remember to add `/` at the end of the URL when configuring a new etherpad URL. Also, web server proxies tend to do weird stuff when you assume that you have a slash on the end of each URL. So, I took a look at how to avoid doing that. It turns out that both urljoin / os.path.join are kinda bad for handling URL building. Also, APPLICATION_ROOT didn't seem that necessary since Flask knows what to do with a `/` at the start of a URL, so I dropped it. I think this doesn't break anything! 2022-10-02 16:51:12 +02:00			`<link rel="stylesheet" type="text/css" href="{{ url_for('static', filename='main.css') }}">`
chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			`{% block head %}`
			`{% endblock %}`
uploading this to the git to start sharing this prototype 2021-06-24 14:04:14 +02:00			`</head>`
			`<body>`
chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			`<div id="wrapper">`
			`{% block content %}`
			`{% endblock %}`
			`</div>`
uploading this to the git to start sharing this prototype 2021-06-24 14:04:14 +02:00			`</body>`
bending pad2pdf into octomode 2022-01-12 21:27:06 +01:00			`<script>`
			`window.addEventListener('load', function () {`

chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			`// Insert the nav buttons, after the page is loaded`
			`const nav = document.createElement('div');`
			`nav.id = 'nav';`
refactor!: unify slash handling It is hard to remember to add `/` at the end of the URL when configuring a new etherpad URL. Also, web server proxies tend to do weird stuff when you assume that you have a slash on the end of each URL. So, I took a look at how to avoid doing that. It turns out that both urljoin / os.path.join are kinda bad for handling URL building. Also, APPLICATION_ROOT didn't seem that necessary since Flask knows what to do with a `/` at the start of a URL, so I dropped it. I think this doesn't break anything! 2022-10-02 16:51:12 +02:00
chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			nav.innerHTML = `
refactor!: unify slash handling It is hard to remember to add `/` at the end of the URL when configuring a new etherpad URL. Also, web server proxies tend to do weird stuff when you assume that you have a slash on the end of each URL. So, I took a look at how to avoid doing that. It turns out that both urljoin / os.path.join are kinda bad for handling URL building. Also, APPLICATION_ROOT didn't seem that necessary since Flask knows what to do with a `/` at the start of a URL, so I dropped it. I think this doesn't break anything! 2022-10-02 16:51:12 +02:00			`<h1>{{ name }} <a href="/"><em class="octomode">in octomode</em></a></h1>`
chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			`<div id="buttons">`
refactor!: unify slash handling It is hard to remember to add `/` at the end of the URL when configuring a new etherpad URL. Also, web server proxies tend to do weird stuff when you assume that you have a slash on the end of each URL. So, I took a look at how to avoid doing that. It turns out that both urljoin / os.path.join are kinda bad for handling URL building. Also, APPLICATION_ROOT didn't seem that necessary since Flask knows what to do with a `/` at the start of a URL, so I dropped it. I think this doesn't break anything! 2022-10-02 16:51:12 +02:00
			`<a href="/{{ name }}/pad"><button>pad</button></a>:`
fix: use PAD_URL in template files 2022-10-02 19:46:47 +02:00			`<input type="text" name="pad" value="{{ pad_url }}/{{ name }}.md">`
refactor!: unify slash handling It is hard to remember to add `/` at the end of the URL when configuring a new etherpad URL. Also, web server proxies tend to do weird stuff when you assume that you have a slash on the end of each URL. So, I took a look at how to avoid doing that. It turns out that both urljoin / os.path.join are kinda bad for handling URL building. Also, APPLICATION_ROOT didn't seem that necessary since Flask knows what to do with a `/` at the start of a URL, so I dropped it. I think this doesn't break anything! 2022-10-02 16:51:12 +02:00
			`<a href="/{{ name }}/stylesheet"><button>stylesheet</button></a>:`
fix: use PAD_URL in template files 2022-10-02 19:46:47 +02:00			`<input type="text" name="pad" value="{{ pad_url }}/{{ name }}.css">`
refactor!: unify slash handling It is hard to remember to add `/` at the end of the URL when configuring a new etherpad URL. Also, web server proxies tend to do weird stuff when you assume that you have a slash on the end of each URL. So, I took a look at how to avoid doing that. It turns out that both urljoin / os.path.join are kinda bad for handling URL building. Also, APPLICATION_ROOT didn't seem that necessary since Flask knows what to do with a `/` at the start of a URL, so I dropped it. I think this doesn't break anything! 2022-10-02 16:51:12 +02:00
			`<a href="/{{ name }}/html"><button>html</button></a>`

			`<a href="/{{ name }}/pdf"><button>pdf</button></a>`
chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			</div>`;
bending pad2pdf into octomode 2022-01-12 21:27:06 +01:00
chore: strip tabs, auto-formatter 2022-10-02 16:54:13 +02:00			`document.body.insertBefore(nav, document.body.firstChild);`
bending pad2pdf into octomode 2022-01-12 21:27:06 +01:00
			`})`
			`</script>`
			`{% block footer %}`
			`{% endblock %}`
uploading this to the git to start sharing this prototype 2021-06-24 14:04:14 +02:00			`</html>`