git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca716f4) | patch
_bash_profile_addpath: Final workaround for $OPTIND breakage.
authorshort <>
Sun, 26 Dec 2004 18:49:25 +0000 (18:49 +0000)
committershort <>
Sun, 26 Dec 2004 18:49:25 +0000 (18:49 +0000)
commit932971463e1061fda2d7d069d694bddeae359897
treee11d2a826f1dbd95fd958596966efc6959c687e5tree
parentca716f4f204829698a94421ba55b34c1adb4b8e9commit | diff
_bash_profile_addpath: Final workaround for $OPTIND breakage.
Fix unicode keyboard+PS1 settings.
.bashrc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.