https://github.com/pickoba/satysfi-gitpod-template
Gitpod Template for SATySFi
https://github.com/pickoba/satysfi-gitpod-template
gitpod satysfi
Last synced: 3 months ago
JSON representation
Gitpod Template for SATySFi
- Host: GitHub
- URL: https://github.com/pickoba/satysfi-gitpod-template
- Owner: pickoba
- License: mit
- Created: 2022-04-18T07:50:35.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2024-08-03T05:35:09.000Z (almost 2 years ago)
- Last Synced: 2024-08-03T06:36:40.571Z (almost 2 years ago)
- Topics: gitpod, satysfi
- Homepage:
- Size: 176 KB
- Stars: 6
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# SATySFi Gitpod Template
This is a SATySFi template for Gitpod, including SATySFi, Satyrographos, and satysfi-language-server. These are all pre-configured and ready to use.
Click the button below to start a new environment:
[](https://gitpod.io/#https://github.com/pickoba/satysfi-gitpod-template/blob/main/document.saty)
If you want to use VS Code in your local environment, follow the steps below.
1. Open Gitpod in your browser using the button above
2. Open the command palette by pressing "Ctrl/Cmd+Shift+P"
3. Select "Open in VS Code" to start VS Code in your local environment
## License
MIT, See [LICENSE](./LICENSE) for more information.