[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dynamically changing remote servers list
From: |
Douglas A. Augusto |
Subject: |
Re: Dynamically changing remote servers list |
Date: |
Mon, 25 Aug 2014 15:44:00 -0300 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On 22/08/2014 at 11:53,
Ole Tange <tange@gnu.org> wrote:
> While Savannah supports voting, I have a feeling I know who is going
> to implement it (it is not like there is a huge team of programmers
> behind GNU Parallel). And I am easier to persuade using good
> arguments: Why is it a good idea that will benefit many people? It is
> also helpful to write a draft for what should go into the man page or
> give an example that can go into the tutorial and/or the man page.
Hi Ole Tange,
I just saw that you have implemented that feature (#42983)! Thank you very
much. However, I couldn't see the corresponding commit (6e61256) in the Git
repository yet.
Regarding the documentation, I can write the draft and an example of how
to take advantage of the new feature.
--
Douglas A. Augusto
- Re: Dynamically changing remote servers list, (continued)
Re: Dynamically changing remote servers list, ChessDoter, 2014/08/17
Re: Dynamically changing remote servers list, ChessDoter, 2014/08/18
- Re: Dynamically changing remote servers list, Douglas A. Augusto, 2014/08/21
- Re: Dynamically changing remote servers list, Ole Tange, 2014/08/22
- Re: Dynamically changing remote servers list,
Douglas A. Augusto <=
- Re: Dynamically changing remote servers list, Ole Tange, 2014/08/25
- Re: Dynamically changing remote servers list, Douglas A. Augusto, 2014/08/26
- Re: Dynamically changing remote servers list, Douglas A. Augusto, 2014/08/26
- Re: Dynamically changing remote servers list, Ole Tange, 2014/08/27
- Re: Dynamically changing remote servers list, Douglas A. Augusto, 2014/08/27
- Re: Dynamically changing remote servers list, Ole Tange, 2014/08/27
- Re: Dynamically changing remote servers list, Douglas A. Augusto, 2014/08/29
- Re: Dynamically changing remote servers list, Ole Tange, 2014/08/30
Re: Dynamically changing remote servers list, Douglas A. Augusto, 2014/08/27
Re: Dynamically changing remote servers list, Ole Tange, 2014/08/27