diff options
Diffstat (limited to 'issues/binderlite')
-rw-r--r-- | issues/binderlite/use-root-file.gmi | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/issues/binderlite/use-root-file.gmi b/issues/binderlite/use-root-file.gmi new file mode 100644 index 0000000..21a7ac5 --- /dev/null +++ b/issues/binderlite/use-root-file.gmi @@ -0,0 +1,16 @@ + # guix shell --root + + Let's benchmark and test these options to see if it helps the speed/times + with building a new container. + +``` +-r, --root=FILE make FILE a symlink to the result, and register it + as a garbage collector root +``` + +``` +01/27/2022 | 06:47:42 PM lfam: jgart: I would use the --root argument of `guix shell` to make sure the results aren't garbage collected +01/27/2022 | 06:47:51 PM jgart: ah ok cool +01/27/2022 | 06:47:55 PM lfam: You might also run the guix-daemon with the various --keep-[...] options +01/27/2022 | 06:48:17 PM lfam: I mean the --gc-keep-[...] options +``` |