This repository has been archived by the owner on Jul 13, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 75
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
30f6a09
commit 66469f9
Showing
4 changed files
with
38 additions
and
38 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,12 +1,12 @@ | ||
# External Gitpod Configuration | ||
|
||
[Gitpod](https://gitpod.io) is an online IDE for GitHub. | ||
This repository contains externally maintained `.gitpod` files for projects on GitHub. | ||
|
||
The files are organized by repository name. If you need a different configuration for a fork the repository folder can contain a folder for the organisation. | ||
|
||
The configuration format is explained [here](https://docs.gitpod.io/40_Configuration.html#gitpod-file). | ||
|
||
PRs are very welcome! :heart: | ||
|
||
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/gitpod-io/definitely-gp) | ||
# External Gitpod Configuration | ||
|
||
[Gitpod](https://gitpod.io) is an online IDE for GitHub. | ||
This repository contains externally maintained `.gitpod` files for projects on GitHub. | ||
|
||
The files are organized by repository name. If you need a different configuration for a fork the repository folder can contain a folder for the organisation. | ||
|
||
The configuration format is explained [here](https://docs.gitpod.io/40_Configuration.html#gitpod-file). | ||
|
||
PRs are very welcome! :heart: | ||
|
||
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/gitpod-io/definitely-gp) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tasks: | ||
- before: npm install -g @pika/pack | ||
init: npm install | ||
command: pack build | ||
command: pack build |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,23 +1,23 @@ | ||
FROM gitpod/workspace-full | ||
|
||
USER root | ||
|
||
# Install custom tools, runtime, etc. | ||
RUN apt-get update && apt-get install --no-install-recommends -y \ | ||
avr-libc \ | ||
avrdude \ | ||
binutils-arm-none-eabi \ | ||
binutils-avr \ | ||
build-essential \ | ||
dfu-programmer \ | ||
dfu-util \ | ||
gcc \ | ||
gcc-arm-none-eabi \ | ||
gcc-avr \ | ||
git \ | ||
libnewlib-arm-none-eabi \ | ||
software-properties-common \ | ||
unzip \ | ||
wget \ | ||
zip \ | ||
&& rm -rf /var/lib/apt/lists/* | ||
FROM gitpod/workspace-full | ||
|
||
USER root | ||
|
||
# Install custom tools, runtime, etc. | ||
RUN apt-get update && apt-get install --no-install-recommends -y \ | ||
avr-libc \ | ||
avrdude \ | ||
binutils-arm-none-eabi \ | ||
binutils-avr \ | ||
build-essential \ | ||
dfu-programmer \ | ||
dfu-util \ | ||
gcc \ | ||
gcc-arm-none-eabi \ | ||
gcc-avr \ | ||
git \ | ||
libnewlib-arm-none-eabi \ | ||
software-properties-common \ | ||
unzip \ | ||
wget \ | ||
zip \ | ||
&& rm -rf /var/lib/apt/lists/* |