Skip to content

Instantly share code, notes, and snippets.

@RuKapSan

RuKapSan/.gitpod.yml

Forked from Sarctiann/.gitpod.yml
Created April 2, 2024 17:01
Show Gist options
  • Save RuKapSan/6bb7ba616ac768f28c0b70d7ee723bb4 to your computer and use it in GitHub Desktop.
Save RuKapSan/6bb7ba616ac768f28c0b70d7ee723bb4 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. @Sarctiann Sarctiann revised this gist Sep 18, 2023. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion .gitpod.yml
    View file
    Original file line number Diff line number Diff line change
    @@ -12,6 +12,6 @@
    vscode:
    extensions:
    - "Karsten7.mojo-vscode"
    - "modular-mojotools.vscode-mojo"
    - "ms-python.python"

  2. @Sarctiann Sarctiann revised this gist Sep 17, 2023. 1 changed file with 2 additions and 0 deletions.
    2 changes: 2 additions & 0 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -21,4 +21,6 @@ After Fork the mojo repo. and before (instead of) creating a GitHub workspace:
    12. Over the branch `examples` click on the *actions icon button* (the three dots) and `Run Prebuild`
    13. Once this is Ready, click on the button `New Workspace`

    ---

    ### Now you have the most powerful remote machine to work with Mojo.
  3. @Sarctiann Sarctiann revised this gist Sep 17, 2023. 1 changed file with 5 additions and 0 deletions.
    5 changes: 5 additions & 0 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,9 +1,14 @@
    ## Follow these steps

    After Fork the mojo repo. and before (instead of) creating a GitHub workspace:

    ---

    1. In the root of your repo, put the `.gitpod.yml` file.
    2. Create `.vscode/` folder and put the `settings.json` file inside.
    3. Commit your changes.

    ---

    4. Go to [Gitpod](https://gitpod.io/) and log in with your GitHub account.
    5. Go to `Projects`
  4. @Sarctiann Sarctiann created this gist Sep 17, 2023.
    17 changes: 17 additions & 0 deletions .gitpod.yml
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,17 @@
    # List the start-up tasks. Learn more: https://www.gitpod.io/docs/configure/workspaces/tasks
    tasks:
    - name: Install Modular & Mojo
    before: |
    eval $(command gp env -e)
    command: |
    curl https://get.modular.com | MODULAR_AUTH=$MODULAR_AUTH sh -
    modular install mojo
    echo 'export MODULAR_HOME="/home/gitpod/.modular"' >> ~/.zshrc
    echo 'export PATH="/home/gitpod/.modular/pkg/packages.modular.com_mojo/bin:$PATH"' >> ~/.zshrc
    source ~/.zshrc
    vscode:
    extensions:
    - "Karsten7.mojo-vscode"
    - "ms-python.python"

    19 changes: 19 additions & 0 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,19 @@
    After Fork the mojo repo. and before (instead of) creating a GitHub workspace:

    1. In the root of your repo, put the `.gitpod.yml` file.
    2. Create `.vscode/` folder and put the `settings.json` file inside.
    3. Commit your changes.


    4. Go to [Gitpod](https://gitpod.io/) and log in with your GitHub account.
    5. Go to `Projects`
    6. Create a Project by selecting your forked repo.
    7. Click on `Enable Prebuilds`
    8. Mark the checkbox `Enable Prebuilds`
    9. You are in the `General` tab in the sidebar. Go to `Variables`
    10. Create an env variable called `MODULAR_AUTH` with your auth token as value. (You can get it from the SDK installation page).
    11. You are in the Horizontal tab `Settings`. Go to `Branches`
    12. Over the branch `examples` click on the *actions icon button* (the three dots) and `Run Prebuild`
    13. Once this is Ready, click on the button `New Workspace`

    ### Now you have the most powerful remote machine to work with Mojo.
    4 changes: 4 additions & 0 deletions settings.json
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,4 @@
    {
    "mojo.modularHomePath": "/home/gitpod/.modular"
    }