diff options
| author |  Shawn O. Pearce <spearce@spearce.org> | 2007-07-05 18:39:40 -0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-07-06 04:02:18 -0400 |
| commit | 47282d4646372aa859908c3b9471b96c385abe5f (patch) | |
| tree | 4a9fa44723364a45b6cb3eea659b5366acaad913 /git-gui.sh | |
| parent | git-gui: Include a Push action on the left toolbar (diff) | |
| download | tgif-47282d4646372aa859908c3b9471b96c385abe5f.tar.xz | |
git-gui: Ensure windows shortcuts always have .bat extension
Apparently under some setups on Windows Tk is hiding our file
extension recommendation of ".bat" from the user and that is
allowing the user to create a shortcut file which has no file
extension. Double clicking on such a file in Windows Explorer
brings up the associate file dialog, as Windows does not know
what application to launch.
We now append the file extension ".bat" to the filename of the
shortcut file if it has no extension or if it has one but it is
not ".bat".
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui.sh')
0 files changed, 0 insertions, 0 deletions