[cfarm-users] Install wget on cfarm{104,119,240) ?

[Jacob Bachmeyer]

On 2/19/25 17:17, Martin Guy via cfarm-users wrote:
> On 18/02/25 19:37, Bruno Haible wrote:
>> [...]
>> You are free to change you default PATH via .profile or .bashrc.
>
> Yes, but not for ssh running a command. There is `~/.ssh/environment`
>
> but it doesn't seem to work so I guess `PermitUserEnvironment` is
>
> not set in `/etc/ssh/sshd_config` on any of them
>
> However, the specific issue is pretty much resolved (thanks) by using 
> curl,
> which is everywhere except 119, and one slow upload is no great cost.

If you are trying to efficiently upload sources for testing, could you 
use Git?

The method I use with DejaGnu is to have a bare repository in 
~/git/dejagnu.git and a clone at ~/src/dejagnu from that local 
repository.  The Git remote configuration pushes via SSH to the bare 
repository, then I connect and pull to the working tree at a shell.

If I have rewritten a branch tip, I first roll back the working tree to 
some common ancestor point to avoid making a big mess with a merge.

The bare repository is needed because pushes to repositories with 
working trees easily fail.


-- Jacob