rarias/jungle
2
0
Fork 3
Code Issues 57 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

Use extra- for substituters and trusted-public-keys #112

Closed
abonerib wants to merge 1 commits from abonerib:fix-substituters into old-master
pull from: abonerib:fix-substituters
merge into: rarias:old-master
Conversation 1 Commits 1 Files Changed 3 +8 -8
abonerib commented 2025-06-03 18:02:15 +02:00
Collaborator
Copy Link

From the nix manual:

A configuration setting usually overrides any previous value.
However, for  settings  that  take  a  list  of items, you can
prefix the name of the setting by extra- to append to the previous
value.
From the nix manual: A configuration setting usually overrides any previous value. However, for settings that take a list of items, you can prefix the name of the setting by extra- to append to the previous value.
abonerib added 1 commit 2025-06-03 18:02:15 +02:00
Use extra- for substituters and trusted-public-keys cfb0461ab2 
From the nix manual:

    A configuration setting usually overrides any previous value.
    However, for  settings  that  take  a  list  of items, you can
    prefix the name of the setting by extra- to append to the previous
    value.
abonerib requested review from rarias 2025-06-03 18:02:27 +02:00
abonerib force-pushed fix-substituters from cfb0461ab2 to ca4e6ffe00 2025-06-03 19:19:51 +02:00 Compare
rarias commented 2025-06-13 11:21:42 +02:00
Owner
Copy Link

Merged in 1ef6f9a2bb, but this got restored from a previous backup.

Merged in https://jungle.bsc.es/git/rarias/jungle/commit/1ef6f9a2bb7eb0049f13d1d0280b5565a283610c, but this got restored from a previous backup.
rarias closed this pull request 2025-06-13 11:21:42 +02:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
rarias
Labels
Clear labels
bug
ceph
ci
config
cross
hw
io
kernel
mpi
net
nix
ops
repair
slurm
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
abonerib arocanon varcila rarias
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/jungle#112
Delete Branch "abonerib:fix-substituters"

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?