Create BinPath, LauncherPath and IconPath if they don't exist.#19
Create BinPath, LauncherPath and IconPath if they don't exist.#19ifohancroft wants to merge 7 commits intoglutanimate:masterfrom
Conversation
|
Just wanted to see if you have had the time to check this PR? |
|
Hey Ifo, Thanks for the ping (plus your original contribution of course), and sorry for taking ages to look at this! So in general, I wouldn't be completely opposed to changing the root installation path to Naively speaking and without having looked at PDFMtEd in a while, how about creating |
|
Hey, Most welcome! That's fine, I am just glad that you are well and here now. That's a very good point. I keep forgetting about that. I have an idea about it but I will comment later tonight about it on here, as I have something to do first and I need to quickly research something about it. |
|
I wanted to check if there would be an error from mkdir -p if the directories all exist and perhaps add a check if there is an error, but there isn't one, so I just changed /usr to /usr/local again and added: To install.sh. Although, perhaps I should perhaps rename the PR. |
Fixed a typo where I was trying to create a dir using an unexisting variable $LaunchPath instead of $LauncherPath
|
Ping @glutanimate @ifohancroft |
@nbehrnd I am basically waiting for @glutanimate to merge this PR. IIRC this creates the directories if they don't exist. |
Apparently this seems to be the exception as opposed to the standard in the Filesystem Hierarchy Standard. If you take a look here where it lists deviations from the standard, it lists how FreeBSD uses /usr and /usr/local to differentiate between custom software and software from the distribution. So I guess creating the directories in /usr won't be going against the standard, although it does seem more common for software to install itself under /usr/local/ |
Why doesn't the script first try the /usr/local/ then if it doesn't exist go to /usr/ Because this solution seems to create unnecessary directories. |
I created a pull request for this as can be seen here |
Changed install.sh to try alt install directory
|
@glutanimate Hi. It's been a while. How are you doing? |
|
Hey @ifohancroft did my merged pull request not resolve this issue? |
Oh, it did. I merged your PR in my fork so it's included in this PR. I am just suggesting defaulting to /usr regardless of the existence of /usr/local. |
Changed /usr/local/ to /usr/ to avoid the multiple problems that come from using /usr/local/
Also, fixes #9