joao.dubas/ide
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

Customize user and group id on build time #3

Merged
joao.dubas merged 3 commits from jpd-configure-user-group-id into main 2023-10-25 23:30:02 +00:00
Conversation 0 Commits 3 Files Changed 2 +15 -6
joao.dubas commented 2023-10-25 23:26:34 +00:00
Owner
Copy Link

Allow the user to set custom user and group IDs, so it maps the ones available in the host. Also, remove jq from rtx plugin list.

Allow the user to set custom user and group IDs, so it maps the ones available in the host. Also, remove `jq` from `rtx` plugin list.
joao.dubas added 3 commits 2023-10-25 23:26:34 +00:00 
`jq` utility is installed through system package
joao.dubas merged commit 1675e4cd8a into main 2023-10-25 23:30:02 +00:00
joao.dubas deleted branch jpd-configure-user-group-id 2023-10-25 23:30:03 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
renovate-bot joao.dubas
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: joao.dubas/ide#3
No description provided.
Delete Branch "jpd-configure-user-group-id"

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?