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

Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Conversation 1 Commits 1013 Files Changed 120 +2 -1
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 48820ee2d3 - Show all commits

3
garlic/pp/store.nix
View File

@@ -43,7 +43,8 @@ in
if [ ! -e "$exp" ]; then
echo "resultTree: $exp: not found"
echo "resultTree: run the experiment and fetch the results with:"
echo "resultTree: run the experiment and fetch the results running"
echo "resultTree: the following command from the nix-shell"
echo
echo -e "\e[30;48;5;2mgarlic -RFv ${trebuchet}\e[0m"
echo