From: SF/projects/mingw n. l. <min...@li...> - 2012-02-28 13:02:07
|
Patches item #3495241, was opened at 2012-02-28 00:42 Message generated for change (Settings changed) made by earnie 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: None 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: 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 |
From: SF/projects/mingw n. l. <min...@li...> - 2012-03-02 08:51:39
|
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: None 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-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 |
From: SF/projects/mingw n. l. <min...@li...> - 2012-03-06 02:45:39
|
Patches item #3495241, was opened at 2012-02-28 00:42 Message generated for change (Comment added) made by cstrauss 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: 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 |
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 |
From: SF/projects/mingw n. l. <min...@li...> - 2012-04-05 13:51:44
|
Patches item #3495241, was opened at 2012-02-28 00:42 Message generated for change (Comment added) made by earnie 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: Earnie Boyd (earnie) Date: 2012-04-05 06:51 Message: Pest. ;D A release for just this change is not likely to happen in the near future. When Cesar said "when I get a chance" he didn't mean any time soon and it has only been a month. ---------------------------------------------------------------------- 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 |
From: SF/projects/mingw n. l. <min...@li...> - 2012-07-07 10:17:37
|
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-07-07 03:17 Message: > A release for just this change is not likely to happen in the near future. > When Cesar said "when I get a chance" he didn't mean any time soon and it > has only been a month. Now it's three more months. I have never expected a new release just for this trivial patch, but I somehow expected it to get commited in CVS within a reasonable time frame. Telling "Yes, thanks, later..." is a perfect means to scare off new contributors, btw. ---------------------------------------------------------------------- Comment By: Earnie Boyd (earnie) Date: 2012-04-05 06:51 Message: Pest. ;D A release for just this change is not likely to happen in the near future. When Cesar said "when I get a chance" he didn't mean any time soon and it has only been a month. ---------------------------------------------------------------------- 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 |