better devContainers (#2290)

* let's improve the devContainer

* add some docs
This commit is contained in:
Jacob Heider 2023-06-25 13:47:21 -04:00 committed by GitHub
parent 70373666f1
commit 0261e3d5a5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 3 deletions

View file

@ -1,5 +1,3 @@
{
"hostRequirements": {
"memory": "8gb"
}
"postAttachCommand": "sh <(curl https://tea.xyz) --yes && exec bash -i"
}

View file

@ -64,6 +64,13 @@ $ gh pr create
While inside a pantry dev-env you can run commands from any built packages
provided you specified their `provides:` key.
## GitHub Codespaces
`pantry` also works in GitHub Codespaces. The default configuration
provides with the repository will install/update `tea` at the time
you attach, so you should be able to quickly work on or test packages
in a remote linux environment (or work from a device with just a web browser).
## Providers
If the package you want to add to tea can be executed simply eg. you want