diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2019-06-04 22:29:40 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-06-07 09:57:19 +0200 |
| commit | 08814aec6ae75adcd059c5235c90ad26e5d5607e (patch) | |
| tree | 7546c30c13c520c43d87791f085da856ea1dc087 /gnu/packages/coq.scm | |
| parent | cd37b144e498ee0ee030306b319cdc4ef1ec5e6f (diff) | |
| download | guix-08814aec6ae75adcd059c5235c90ad26e5d5607e.tar.gz | |
services: Add Singularity.
* gnu/packages/linux.scm (singularity)[source](snippet): Change file name of setuid helpers in libexec/cli/*.exec. [arguments]: Remove "--disable-suid". * gnu/services/docker.scm (%singularity-activation): New variable. (singularity-setuid-programs): New procedure. (singularity-service-type): New variable. * gnu/tests/singularity.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. * doc/guix.texi (Miscellaneous Services): Document it.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions