new bash_source_fullpath shell option; documentation updates for wait builtin

2026-07-13 23:20:49 +02:00 · 2024-07-30 11:18:17 -04:00
parent d5ef283cbd
commit e45ec6f76b
23 changed files with 509 additions and 387 deletions
@@ -6027,6 +6027,10 @@ SSHHEELLLL BBUUIILLTTIINN CCOOMMMMAANNDDSS
              aauuttooccdd  If  set,  a command name that is the name of a directory
                      is executed as if it were the argument to  the  ccdd  com-
                      mand.  This option is only used by interactive shells.
+              bbaasshh__ssoouurrccee__ffuullllppaatthh
+                      If  set,  filenames added to the BBAASSHH__SSOOUURRCCEE array vari-
+                      able are converted to full pathnames  (see  SShheellll  VVaarrii--
+                      aabblleess above).
              ccddaabbllee__vvaarrss
                      If  set,  an  argument to the ccdd builtin command that is
                      not a directory is assumed to be the name of a  variable