Menu
▾
▴
[MinGW-notify] [ mingw-Patches-3495241 ] copy inputrc independent of the presence of $HOME
|
From: SF/projects/mingw n. l. <min...@li...> - 2012-04-05 13:15:54
|
Patches item #3495241, was opened at 2012-02-28 00:42 Message generated for change (Comment added) made by fabian_deb You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=302435&aid=3495241&group_id=2435 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: msys Group: IINR - Include In Next Release Status: Open Resolution: None Priority: 5 Private: No Submitted By: Fabian Greffrath (fabian_deb) Assigned to: Cesar Strauss (cstrauss) Summary: copy inputrc independent of the presence of $HOME Initial Comment: Hi, currently, /etc/profile checks for the existence of a $HOME directory and if it does not exist, creates it and copies /etc/inputrc.default to "$HOME"/.inputrc. However, sometimes I install MSYS and have already set the $HOME variable to another directory. Thus the .inputrc file is not copied over. I suggest to make the copying of .inputrc independent of the presence of the HOME directory, but actually check for the presence of this very file instead. the attached patch against /etc/profile does this. ---------------------------------------------------------------------- >Comment By: Fabian Greffrath (fabian_deb) Date: 2012-04-05 06:15 Message: > Seems reasonable. I'll include it when I get the chance. *cough* ;) ---------------------------------------------------------------------- Comment By: Cesar Strauss (cstrauss) Date: 2012-03-05 18:45 Message: Seems reasonable. I'll include it when I get the chance. Thanks, Cesar ---------------------------------------------------------------------- Comment By: Fabian Greffrath (fabian_deb) Date: 2012-03-02 00:51 Message: > I haven't checked the patch but sort-of like the idea. It's only three added lines. > I do question though > that the user should have the right to not want ~/.inputrc if he > choose that but an empty file should overcome that case. With the patch, everything behaves as before. It only adds support for an additional use case, i.e. when $HOME is already present but does not contain ~/.inputrc. And even in this case, if you happen to not want that file (for whatever weird reasons), you can empty or comment it out entirely. What does Cesar thing? ---------------------------------------------------------------------- Comment By: Earnie Boyd (earnie) Date: 2012-02-28 04:59 Message: I haven't checked the patch but sort-of like the idea. I do question though that the user should have the right to not want ~/.inputrc if he choose that but an empty file should overcome that case. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=302435&aid=3495241&group_id=2435 |