📝 Notes

2024-10-01 Stefan, Torben (via Discord)

divekit patch

• Individual files are passed to the command
• Local testing is important for verification
• Variables are also replaced during patching
• Files are currently patched individually (can also be done in one commit)

divekit distribute

• Not push because:
  • git push
    • Performs consistency checks (merge needed, missing pulls)
    • There are differences between Origin and Remote (variables)
    • The target is not the client but a creation operation within the server (?)

2024-09-12 Stefan, Fabian, Torben (in Person)

config

• Distribution “test” -> “supervisor” -(later)-> “sandbox”
• Distribution “code” -> “student”

divekit doctor

• move to another “error control” command?
• execute before other appropriate commands and possibly abort

divekit install

• Possibly look into open source to see how others do it
• Offer executables, divekit install copies the/an executable into the home directory and writes the path to the divekit executable in the PATH (and an update executable?).
• divekit install, which copies divekit into the user directory and adds the divekit path to the PATH (and maybe already prepares all the doctor preparations)

divekit init

• Merge with members for latecomers
• Also update overview (new members missing)
• Re-running ensures everything is in place

2024-09-12 Stefan, Fabian, Torben (in person)

divekit doctor

• move to another “error control” command?
• execute before other appropriate commands and possibly abort

divekit distribute

• push -> create?
• push -> distribute! (favorite)