[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Profiles/manifests-related command line interface enhancements
From: |
Konrad Hinsen |
Subject: |
Re: Profiles/manifests-related command line interface enhancements |
Date: |
Tue, 12 Nov 2019 21:07:07 +0100 |
Hi Andy,
> I wrote this for that purpose:
>
>
> https://www.gnu.org/software/guile/manual/html_node/Sandboxed-Evaluation.html
Right, I had found this when searching for something. It seems to solve
a couple of problems that I don't quite understand, but not so much
those I do (file/network access). Would be nice to see this extended.
> In practice Guix's "containerized" build jobs are much more effective
> than in-language barriers.
Indeed, but if Guix is compromised by malware, the build jobs may build
code that has already been tampered with.
Maybe one could have config and manifest files interpreted by the build
daemon for safety. Except that some manifest files (read: mine) need
read access to the file system.
Cheers,
Konrad.
- Re: Profiles/manifests-related command line interface enhancements, (continued)
- Re: Profiles/manifests-related command line interface enhancements, Ludovic Courtès, 2019/11/06
- Re: Profiles/manifests-related command line interface enhancements, Konrad Hinsen, 2019/11/07
- Re: Profiles/manifests-related command line interface enhancements, Pierre Neidhardt, 2019/11/07
- Re: Profiles/manifests-related command line interface enhancements, Konrad Hinsen, 2019/11/07
- Re: Profiles/manifests-related command line interface enhancements, Pierre Neidhardt, 2019/11/07
- Re: Profiles/manifests-related command line interface enhancements, Ludovic Courtès, 2019/11/09
- Re: Profiles/manifests-related command line interface enhancements, Konrad Hinsen, 2019/11/10
- A better XML, config is code (was Re: Profiles/manifests-related command line...), Giovanni Biscuolo, 2019/11/11
- Re: A better XML, config is code (was Re: Profiles/manifests-related command line...), Konrad Hinsen, 2019/11/13
- Re: Profiles/manifests-related command line interface enhancements, Andy Wingo, 2019/11/12
- Re: Profiles/manifests-related command line interface enhancements,
Konrad Hinsen <=
- Re: Profiles/manifests-related command line interface enhancements, Bengt Richter, 2019/11/13
- Re: Profiles/manifests-related command line interface enhancements, Ludovic Courtès, 2019/11/16
- Re: Profiles/manifests-related command line interface enhancements, Konrad Hinsen, 2019/11/17
- Re: Profiles/manifests-related command line interface enhancements, zimoun, 2019/11/18
- Re: Profiles/manifests-related command line interface enhancements, Konrad Hinsen, 2019/11/19
- Re: Profiles/manifests-related command line interface enhancements, Ludovic Courtès, 2019/11/23
- Re: Profiles/manifests-related command line interface enhancements, Konrad Hinsen, 2019/11/25
- On DSLs, Ludovic Courtès, 2019/11/26
- Re: Profiles/manifests-related command line interface enhancements, Hartmut Goebel, 2019/11/11
- Re: Profiles/manifests-related command line interface enhancements, Ludovic Courtès, 2019/11/16