jeluard

Improve env abstraction

3

Current environment abstraction is quite rigid and introduces some duplication. Introduce a new abstraction that can be programmatically manipulated and hides most a the file to developers.

Allow to have a JS function called before reload

3

The JS function specified by `on-jsload` is called right after the code is reloaded. It would be useful to have a similar handle allowing to define a JS function called...

Offer IDE alternatives

5

* https://github.com/JetBrains/projector-docker # VSCode * https://github.com/microsoft/vscode/tree/master/resources/web * https://github.com/gitpod-io/vscode * https://github.com/microsoft/vscode-web-playground/ * https://github.com/microsoft/vscode/compare/main...gitpod-io:gp-code * https://github.com/gitpod-io/gitpod/blob/main/components/ide/code/leeway.Dockerfile

* https://github.com/hivesolutions/git_bot * https://github.com/googleapis/repo-automation-bots * https://probot.github.io/ * https://www.geeksforgeeks.org/making-a-github-bot/ * https://github-bot-tutorial.readthedocs.io/en/latest/

Allow remote ssh connection

2

SSH access should be enabled, based on default GitHub's user ssh keys. Rely on default GithHub public key, if any. Only allow PK connection. # Pseudo manual steps NOTE: does...

This theme should match latests substrate.io theme. https://code.visualstudio.com/updates/v1_42#_auto-switch-theme-based-on-os-color-scheme

* https://github.com/eclipse-theia/vscode-builtin-extensions/issues/52 * https://github.com/eclipse-theia/vscode-builtin-extensions/issues/52 * https://community.theia-ide.org/t/how-to-integrate-git-in-webide/1444/6 * https://vscode.github.com/ * https://github.com/gitpod-io/gitpod/tree/main/components/server/src/github * https://github.com/eclipse-theia/theia/issues/3397 * https://github.com/Microsoft/vscode-pull-request-github/issues/93 Blocked by: * https://github.com/eclipse-theia/theia/issues/8752 * https://github.com/eclipse-theia/theia/issues/8969

* https://deislabs.io/posts/a-fistful-of-states/ * https://deislabs.io/posts/introducing-krator/ * https://www.pavel.cool/rust/rust-kubernetes-operators/ * https://kubernetes.io/docs/tasks/extend-kubernetes/custom-resources/custom-resource-definitions/ * https://www.oreilly.com/library/view/programming-kubernetes/9781492047094/ch04.html * https://github.com/clux/kube-rs/blob/master/examples/configmapgen_controller.rs * https://dzone.com/articles/writing-a-kubernetes-crd-controller-in-rust * https://kubernetes.io/docs/concepts/extend-kubernetes/api-extension/custom-resources/