From b705c598ff62734456a979b9f2d50ad27136b10b Mon Sep 17 00:00:00 2001 From: cqc Date: Thu, 17 Nov 2022 20:25:20 -0600 Subject: [PATCH] use main branch --- cors_proxy.sh | 2 +- human.ml | 4 ++-- notes.org | 26 ++++++++++++++++++++++++++ 3 files changed, 29 insertions(+), 3 deletions(-) create mode 100644 notes.org diff --git a/cors_proxy.sh b/cors_proxy.sh index 966f3b1..c317d3c 100755 --- a/cors_proxy.sh +++ b/cors_proxy.sh @@ -4,4 +4,4 @@ if [ ! -f /tmp/key.pem ]; then openssl req -newkey rsa:2048 -new -nodes -x509 -days 3650 -keyout /tmp/key.pem -out /tmp/cert.pem -batch fi -npx http-server --cors -S -P https://github.com --log-ip -c-1 -C /tmp/cert.pem -K /tmp/key.pem +npx http-server --cors -S -P https://gitea.departmentofinter.net --log-ip -c-1 -C /tmp/cert.pem -K /tmp/key.pem diff --git a/human.ml b/human.ml index 6fa427a..e238c8a 100644 --- a/human.ml +++ b/human.ml @@ -450,12 +450,12 @@ module Nav = struct Firebug.console##log (Js.string "Nav.test_pull()\n"); S.Repo.v (Config.init "") >>= fun repo -> Firebug.console##log (Js.string "Nav.test_pull(2)\n"); - S.of_branch repo "master" >>= fun t -> + S.of_branch repo "main" >>= fun t -> Firebug.console##log (Js.string "Nav.test_pull(3)\n"); Git_console_http.connect Mimic.empty >>= fun ctx -> Firebug.console##log (Js.string "Nav.test_pull(4)\n"); let upstream = - S.remote ~ctx "https://localhost:8080/ryugyong/pocketbrain" + S.remote ~ctx "https://localhost:8080/console/boot" in Firebug.console##log (Js.string "Nav.test_pull(5)\n"); Sync.fetch_exn t upstream >>= fun _ -> S.tree t diff --git a/notes.org b/notes.org new file mode 100644 index 0000000..eba35b5 --- /dev/null +++ b/notes.org @@ -0,0 +1,26 @@ +* mvp todo + + +** toplevel repl in js_of_ocaml +** git pull from gitea.departmentofinter.net/console/boot +** git push to gitea.departmentofinter.net/console/boot +** execute a git file execution in top level +** display arbitrary git file from pulled repo +** edit arbitrary file with common emacs bindings +*** move left and right by character +*** move up and down by line + + + + + + +* other todo +*** yank (to clipboard) next char +*** move left and right by word and sentance +*** region select + + +* principles? +an "anywhere" programming environment +