0.0.18 • Published 2 years ago

@ladrillo/ketchup v0.0.18

Weekly downloads
-
License
ISC
Repository
github
Last release
2 years ago

@ladrillo/ketchup

About

Ketchup is a CLI tool to allow teachers demoing a coding project to automatically commit & push to Github whenever changes are made to the files of the project, throttling to at most once every 20 seconds. Students can reset their files and folders to the teacher's remote branch if they fall behind, and teachers don't have to push manually. Students must clone the teacher's repo without forking it first.

Before Using Ketchup

  1. Be at the root folder of your project.
  2. Your project must be a git repo.
  3. Have a clean working tree, any outstanding changes will be stashed.
  4. Check out the branch you want to use as the starting point of the demo (usually "main").
  5. Decide on a target branch to push commits to, different from the starting point branch.

The Teacher

Execute once at the beginning of the demo:

npx @ladrillo/ketchup@latest foo-branch

If no branch name is provided (e.g. "foo-branch"), "lecture" is used instead. This is the branch Ketchup will push to, and students can reset to.

If Ketchup is closed during the demo, you can continue where you left off by running:

npx @ladrillo/ketchup@latest foo-branch resume

The Students

Students can catch up by executing:

git fetch && git reset --hard origin/foo-branch

In JavaScript projects a "ketchup" script can be added to the package.json:

{
  "scripts": {
    "ketchup": "git fetch && git reset --hard origin/foo-branch"
  }
}

In this case students can catch up by executing:

npm run ketchup

Notes

  1. If new packages are added to the project during the demo, students should run npm i after catching up.
  2. It's advisable that students have auto-save enabled in their editors.
  3. Students should close other programs besides their editors that might be accessing the project files, before catching up.
  4. Don't forget to gitignore the node_modules folder in JavaScript projects.
0.0.15

2 years ago

0.0.16

2 years ago

0.0.17

2 years ago

0.0.18

2 years ago

0.0.14

2 years ago

0.0.13

2 years ago

0.0.12

2 years ago

0.0.11

2 years ago

0.0.10

2 years ago

0.0.9

2 years ago

0.0.8

2 years ago

0.0.7

2 years ago

0.0.6

2 years ago

0.0.5

2 years ago

0.0.4

2 years ago

0.0.3

2 years ago

0.0.2

2 years ago

0.0.1

2 years ago