Skip to content

Improve 101 intro, add devcontainer and docker basic instructions - #45

Merged
froggleston merged 19 commits into
mainfrom
frog-101-setup-1
Sep 29, 2025
Merged

Improve 101 intro, add devcontainer and docker basic instructions#45
froggleston merged 19 commits into
mainfrom
frog-101-setup-1

Conversation

@froggleston

@froggleston froggleston commented Jul 30, 2025

Copy link
Copy Markdown
Member

This PR represents the documentation to address #3

@froggleston froggleston changed the title [WIPImprove 101 intro, add devcontainer and docker basic instructions [WIP] Improve 101 intro, add devcontainer and docker basic instructions Jul 30, 2025
@github-actions

Copy link
Copy Markdown

🆗 Pre-flight checks passed 😃

This pull request has been checked and contains no modified workflow files or spoofing.

Results of any additional workflows will appear here when they are done.

@froggleston froggleston changed the title [WIP] Improve 101 intro, add devcontainer and docker basic instructions Improve 101 intro, add devcontainer and docker basic instructions Sep 17, 2025
@froggleston froggleston self-assigned this Sep 17, 2025

@tobyhodges tobyhodges left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great @froggleston, thanks. I have suggested a few minor changes but think this is generally good to go.

Comment thread episodes/01-first-lesson.md Outdated
Comment thread learners/devcontainer.md Outdated
Comment thread learners/devcontainer.md Outdated
Comment thread learners/devcontainer.md Outdated
Comment thread learners/devcontainer.md
Comment on lines +60 to +62
```bash
FROM carpentries/workbench-docker:latest
```

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is bash the right flavour for this code block?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hmm I was using it just because it was simple text :)

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perhaps better to make them "flavourless" code blocks?

Comment thread learners/setup.md Outdated
Comment thread learners/setup.md Outdated
Comment thread learners/setup.md
You're good to go!
Please continue with the [Test Your Installation](#install-test) instructions.

More information and docker runtime options are described in the [Docker guide](docker.md) and [Workbench developer docker documentation](https://github.com/froggleston/workbench-dev/blob/frog-docker-update-1/docker.qmd).

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do you want to keep this link to the feature branch? Or adjust to point to main before merging?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, this will be updated once this is also available in the workbench-dev docs.

Comment thread learners/setup.md Outdated
Comment thread learners/faq.md Outdated
froggleston and others added 11 commits September 29, 2025 12:12
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
Co-authored-by: Toby Hodges <tbyhdgs@gmail.com>
@froggleston
froggleston merged commit 7b549cc into main Sep 29, 2025
6 checks passed
@froggleston
froggleston deleted the frog-101-setup-1 branch September 29, 2025 15:07
github-actions Bot pushed a commit that referenced this pull request Sep 29, 2025
Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Sep 29, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Sep 29, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Sep 30, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Sep 30, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Oct 7, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Oct 14, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Oct 21, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Oct 28, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Oct 28, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Oct 28, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Oct 28, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Nov 4, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Nov 11, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Nov 18, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Nov 25, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Dec 2, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Dec 9, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Dec 16, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Dec 23, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Dec 30, 2025
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Jan 6, 2026
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Feb 19, 2026
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
github-actions Bot pushed a commit that referenced this pull request Feb 24, 2026
Auto-generated via `{sandpaper}`
Source  : a4448d0
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-09-29 15:08:17 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 7b549cc
Branch  : main
Author  : Robert Davey <robertdavey@carpentries.org>
Time    : 2025-09-29 15:07:00 +0000
Message : Merge pull request #45 from carpentries/frog-101-setup-1

Improve 101 intro, add devcontainer and docker basic instructions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants