[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Windows home
|
From: |
Jason Hood |
|
Subject: |
Windows home |
|
Date: |
Sat, 21 Jan 2017 17:47:58 +1000 |
|
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.1.1 |
The Windows Info viewer would use the current directory to read
'.infokey' if $HOME wasn't set; the attached patch will try
$USERPROFILE first (i.e. $HOME then $USERPROFILE then '.').
--
Jason.
windows-home.patch
Description: Text document
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Windows home,
Jason Hood <=