git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7114bd9) | patch
+Double invocation protected by "$_home_short_dotbashrc" flag
authorshort <>
Wed, 26 Sep 2001 17:22:44 +0000 (17:22 +0000)
committershort <>
Wed, 26 Sep 2001 17:22:44 +0000 (17:22 +0000)
commitfa3750fd0fa77a47a5ce99144d5c93c2723cc878
tree7cf6170c239eb1cc6dc4820b01f1880a1fe7cbcftree
parent7114bd9953e276e5a1dc8782158d7d43ccd606abcommit | diff
+Double invocation protected by "$_home_short_dotbashrc" flag
+function _bash_profile_addpath() gets unset as it is considered local
.bashrc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.