Contains the Concourse pipeline definition for building a line-server container
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

56 lines
2.2 KiB

  1. {% extends "base.html" %}
  2. {% block head %}
  3. {% if extra.extension == "story" %}
  4. <link href="/static/css/highlight/story.css" rel="stylesheet" type="text/css">
  5. {% else %}
  6. <link href="/static/css/highlight/tomorrow.css" rel="stylesheet" type="text/css">
  7. {% endif %}
  8. {% endblock %}
  9. {% block innercontentmore %} class="scrollable"{% endblock %}
  10. {% block mainmore %} {% if extra.extension == "story" %} class="storycontent"{% endif %} {% endblock %}
  11. {% block infoleft %}
  12. <div id="editform">
  13. <form id="reply" action='/upload' method='post' >
  14. <div class="right">
  15. <select id="expiry" name="expires">
  16. <option disabled=disabled>Expires:</option>
  17. <option value="0">never</option>
  18. <option value="60">a minute</option>
  19. <option value="300">5 minutes</option>
  20. <option value="3600">an hour</option>
  21. <option value="86400">a day</option>
  22. <option value="604800">a week</option>
  23. <option value="2419200">a month</option>
  24. <option value="29030400">a year</option>
  25. </select>
  26. <button id="save">save</button>
  27. </div>
  28. <input class="codebox" name='filename' id="filename" type='text' value="" placeholder="filename (empty for random filename)">.<input id="extension" class="codebox" name='extension' type='text' value="{{ extra.extension }}" placeholder="txt">
  29. <textarea name='content' id="newcontent" class="editor"></textarea>
  30. </form>
  31. </div>
  32. {% endblock %}
  33. {%block infomore %}
  34. <label>wrap <input id="wordwrap" type="checkbox" checked></label> |
  35. {% endblock %}
  36. {% block main %}
  37. <div id="normal-content" class="normal {% if extra.lang_hl != "story" %}fixed{% endif %}">
  38. <pre id="normal-code"><code id="codeb" class="{{ extra.lang_hl }}">{{ extra.contents }}</code></pre>
  39. <textarea id="editor" class="editor">{{ extra.contents }}</textarea>
  40. </div>
  41. {% if extra.lang_hl != "text" %}
  42. <script src="/static/js/highlight/highlight.pack.js"></script>
  43. <script src="/static/js/bin_hljs.js"></script>
  44. {% endif %}
  45. <script src="/static/js/bin.js"></script>
  46. {% endblock %}