University-of-Basel-Studentprojects/Programmierprojekt
Archived
1
0
Fork 0
Code Issues 17 Pull Requests Actions Wiki Activity

VSCode task to convert all .puml files to .svgs using helper script #164

Merged
lars.winzer merged 2 commits from chore/task-to-convert-puml-to-svg into main 2026-03-10 17:32:10 +01:00
Conversation 1 Commits 2 Files Changed 2
+72
lars.winzer commented 2026-03-10 17:32:05 +01:00 (Migrated from git.scicore.unibas.ch)
Copy Link
Copy Source

New script, based on the existing script for converting drawio files to SVGs, to convert all .puml files to .SVGs.

Fortunately, this time, it didn’t take me as long as it did last time.

New script, based on the existing script for converting drawio files to SVGs, to convert all .puml files to .SVGs. Fortunately, this time, it didn’t take me as long as it did last time.
lars.winzer commented 2026-03-10 17:32:10 +01:00 (Migrated from git.scicore.unibas.ch)
Copy Link
Copy Source

mentioned in commit 3de3a2f113

mentioned in commit 3de3a2f113184d9c4e6a93270bf609e1f85f6c98
lars.winzer (Migrated from git.scicore.unibas.ch) merged commit 3de3a2f113 into main 2026-03-10 17:32:10 +01:00
This repo is archived. You cannot comment on pull requests.
Reviewers
No Reviewers
Labels
Clear labels
achievement
Tasks related to milestone achievements
 bug
Issues related to programming errors on both client and server
 ci
Issues related to problems with the gitlab ci (incorrect or missing jobs)
 client
Issues (To-Dos and tasks) related to the client
 commands
Issues and tasks related to commands and thier infrastructure (CommandHandler, CommandParser, ...)
 documentation
Issues related to the documentation (for new or unclear, incorrect or incomplete entries)
 enhancement
Issues related to enhancements (also known as feature-requests)
 game-engine
Issues related to the game engine (incorrect state transitions or move validations)
 linting
Issues related to linting i.e. false detections, too generous linting, ...
 messages
Issues and tasks related to the messages and chats
 network
Issues and tasks related to the network (SessionReader / SessionWriter, Parser, ResponseBody, ...)
 outreach
Issues and tasks related to the outreach website and everything directly related to it
 server
Issues (To-Dos and tasks) related to the server
 task
Issues outlining and discussing a general task or implementation
 templates
Issues related to GitLab templates
 ui
Issues and tasks related to the client-side ui
 unit-test
Issues related to missing or already planned unit tests
 user
Issues and tasks related to the user management
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
lars-winzer (Lars Winzer)
No Assignees
1 Participants
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: University-of-Basel-Studentprojects/Programmierprojekt#164
Delete Branch "chore/task-to-convert-puml-to-svg"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?