Default node, rename to exec.
This commit is contained in:
parent
23eea3eed7
commit
1a35406003
2 changed files with 2 additions and 1 deletions
|
@ -134,6 +134,7 @@ def push(node, other):
|
|||
return Response(pushing)
|
||||
|
||||
|
||||
@bp.route('/exec')
|
||||
@bp.route('/search')
|
||||
@bp.route('/jump')
|
||||
def jump():
|
||||
|
|
|
@ -45,7 +45,7 @@
|
|||
| <a href="/nodes">nodes</a>
|
||||
| <a href="/users">@</a>
|
||||
| <a href="/latest">Δ</a>
|
||||
| <form action="/jump" method="get" style="display: inline;"><a href="/node/agora-cli">CLI</a>: <input type="text" name="q"></form>
|
||||
| <form action="/exec" method="get" style="display: inline;"><a href="/node/agora-cli">exec</a>: <input type="text" value="{{node}}" name="q"></form>
|
||||
| <a href="#" style="text-decoration: none;" class="theme-toggle">🌙</a>
|
||||
<!-- doesn't fit on mobile right now.
|
||||
| <a href="/node/agora-help" style="text-decoration: none;" class="help-button">ℹ️</a>
|
||||
|
|
Loading…
Reference in a new issue