From: Johannes Schindelin Date: Mon, 27 Jun 2016 15:49:30 GMT Subject: Re: [PATCH 1/2] Support for $FILENAMES in tool definitions Message-ID: In-Reply-To: <20160627132137.GC4194@pflmari> Hi Alex, On Mon, 27 Jun 2016, Alex Riesen wrote: > This adds a FILENAMES environment variable, which contains the repository > pathnames of all selected files the list. > The variable contains the names separated by spaces. > > Similar to the FILENAME it is broken yet, if the names contain spaces. > > Note that the file marked and diffed immediately after starting the GUI up, > is not actually selected. One must click on it once to really select it. > > Signed-off-by: Alex Riesen Maybe prefix the subject with `git-gui: ` to indicate that this is for the git-gui.git repository? Also, please muster some patience, Pat seems to be super busy these days. Ciao, Dscho