Closed
Description
We want the installation log file in a known location. Leaving it in the directory the houses the git repository can be dangerous, since it designed to be volatile and the log file is not tracked. Putting the log file in the user's home directory and hiding it with the . prefix will put the log file in a known location and reduce the risk of the file being modified or removed.
-
./install.sh -uneeds to look forpd.logand move it to$HOME/.pd.log -
./install.shneeds to create the log file @$HOME/.pd.log -
./install.sh --verifyneeds- Look for
$HOME/.pd.logfor its usual verification - Look for
pd.logand report that it needs to be moved with./install.sh -u
- Look for
- Uninstall needs to look for old log file (pd.log) and use it to complete uninstall.