ready for terminal in app

This commit is contained in:
Max Howell 2023-07-05 11:57:08 -04:00
parent 0a98a34ab3
commit e8f8bbb0e4
No known key found for this signature in database
GPG key ID: 741BB84EF5BB9EEC

View file

@ -27,12 +27,10 @@ while ! curl -Is http://127.0.0.1:7860 | grep -q "HTTP/1.1 200 OK"; do
done
# open the URL once the HEAD request succeeds
# TODO open in a window controlled by the gui (see next section)
open http://127.0.0.1:7860
# tell tea/gui about it
if test -n "$TEA_IPC_FD"; then
echo '{"viewer": "http://127.0.0.1:7860"}' >&$TEA_IPC_FD
if test -n "$TEA_GUI"; then
echo '{"xyz.tea":{"gui":"http://127.0.0.1:7860"}}' >&2
else
open "http://127.0.0.1:7860"
fi
tea gum format <<EoMD