Post your helper scripts!

[Simon Harrison]

On Fri, 20 Sep 2024 01:06:50 +0200
Pierre-Yves David <pierre-yves.david at ens-lyon.org> wrote:

> 
> On 9/17/24 10:52, Simon Harrison wrote:
> >          hg push; hg push server2; hg email -r tip;
> 
> 
> You can actually combine your push in a single command with `hg push 
> default server2`
> 
> You can also create path alias to multiple servers in your config
> 
> [paths] server1 = ssh://foo/bar server2 = ssh://fuz/baz default = 
> path://server1 servers = path://server1, path://server2 
> servers:multi-urls doing `hg push servers` would push to both server1 
> and server2
> 
> Check `hg help config.paths` for more details if needed.
> 

Ah thanks. I sorted it with:

PATHS=$(hg paths | cut -f 1 -d ' ')

but still good to know!

Simon