Re: Better support remote deployment

2023-12-10 Thread Ricardo Wurmus
Ludovic Courtès writes: > That said, I wonder if this would really be more convenient than SSH’ing > into the target machine and running the commands right there. Perhaps > I’m missing something about the use case? The use case is to have a development host where packages are built and then p

Re: Better support remote deployment

2023-11-22 Thread Maxim Cournoyer
Hi, Tomas Volf <~@wolfsden.cz> writes: [...] > I was following the debate, but maybe I have missed something, so I will put > forward my use case as well. I have two properties I would like to have from > a > "remote deploy" mechanism, and they are not satisfied by SSH-ing to the > machine >

Re: Better support remote deployment

2023-11-20 Thread Tomas Volf
On 2023-11-16 16:23:00 +0100, Ludovic Courtès wrote: > Hi, > > Maxim Cournoyer skribis: > > > Felix Lechner writes: > > [...] > > >> How about a 'remote-user-profile'? > > > > 'guix package' is already the command we use to create profiles; maybe > > it could accept a '--remote' argument to o

Re: Better support remote deployment

2023-11-16 Thread Development of GNU Guix and the GNU System distribution.
On Thu, Nov 16 2023, Ludovic Courtès wrote: > I wonder if this would really be more convenient than SSH’ing > into the target machine and running the commands right there. Just from using 'guix deploy' I'll note that 'guix pull' is an expensive operation, especially when running a custom version-

Re: Better support remote deployment

2023-11-16 Thread Ludovic Courtès
Hi, Maxim Cournoyer skribis: > Felix Lechner writes: [...] >> How about a 'remote-user-profile'? > > 'guix package' is already the command we use to create profiles; maybe > it could accept a '--remote' argument to operate on a remote machine? > Or is this not what 'GUIX_DAEMON_SOCKET=ssh://y

Re: Better support remote deployment

2023-11-09 Thread Maxim Cournoyer
Hi, Efraim Flashner writes: [...] >> 'guix package' is already the command we use to create profiles; maybe >> it could accept a '--remote' argument to operate on a remote machine? >> Or is this not what 'GUIX_DAEMON_SOCKET=ssh://your-target guix package >> -m manifest.scm' can already accompli

Re: Better support remote deployment

2023-11-08 Thread Efraim Flashner
On Wed, Nov 08, 2023 at 09:36:46AM -0500, Maxim Cournoyer wrote: > Hello, > > Felix Lechner writes: > > > Hi, > > > > On Tue, Nov 07 2023, Maxim Cournoyer wrote: > > > >> Then your suggestion to extend 'guix package' to be able to > >> install a profile from a store profile sounds useful, or per

Re: Better support remote deployment

2023-11-08 Thread Maxim Cournoyer
Hello, Felix Lechner writes: > Hi, > > On Tue, Nov 07 2023, Maxim Cournoyer wrote: > >> Then your suggestion to extend 'guix package' to be able to >> install a profile from a store profile sounds useful, or perhaps a new >> 'guix deploy-profile' (or a better name / sub-command?) that would >> a

Re: Better support remote deployment

2023-11-07 Thread Development of GNU Guix and the GNU System distribution.
Hi, On Tue, Nov 07 2023, Maxim Cournoyer wrote: > Then your suggestion to extend 'guix package' to be able to > install a profile from a store profile sounds useful, or perhaps a new > 'guix deploy-profile' (or a better name / sub-command?) that would > automate the copy and installation in one s

Re: Better support remote deployment

2023-11-02 Thread Ricardo Wurmus
Hi Felix, > On Wed, Nov 01 2023, Ricardo Wurmus wrote: > >> What do you think about changing “guix package” and/or “guix copy” to >> better support deployment of remote profiles? > > As someone who uses 'guix deploy' all the time. I believe remote > administration is one of our core strengths an

Re: Better support remote deployment

2023-11-01 Thread Development of GNU Guix and the GNU System distribution.
Hi Ricardo, On Wed, Nov 01 2023, Ricardo Wurmus wrote: > What do you think about changing “guix package” and/or “guix copy” to > better support deployment of remote profiles? As someone who uses 'guix deploy' all the time. I believe remote administration is one of our core strengths and selling

Better support remote deployment

2023-11-01 Thread Ricardo Wurmus
Hi Guix, I build software locally and deploy the result to a remote system with “guix copy”. This works pretty well but has a few rough edges: 1. “guix build -m manifest.scm” does not generate a profile. It only builds the list of packages. To build a profile from a manifest file we need to re