Project

General

Profile

« Previous | Next » 

Revision 9735

lib/sh/util.sh: $top_dir_orig: renamed to $top_symlink_dir since this reflects better what the dir actually represents, and when it differs from $top_dir

View differences:

util.sh
588 588

  
589 589
#### paths
590 590

  
591
top_dir_orig="$(dirname "$0")"; echo_vars top_dir_orig
591
top_symlink_dir="$(dirname "$0")"; echo_vars top_symlink_dir
592 592

  
593 593
top_script_abs="$(realpath "$0")"; echo_vars top_script_abs # outermost script
594 594
	# realpath this before doing any cd so this points to the right place
......
614 614

  
615 615
no_PATH_recursion() # usage: (no_PATH_recursion; cmd...)
616 616
# allows running a system command of the same name as the script
617
{ echo_func; PATH_rm "$top_dir_abs" "$top_dir_orig" "$top_dir"; }
617
{ echo_func; PATH_rm "$top_dir_abs" "$top_symlink_dir" "$top_dir"; }
618 618

  
619 619

  
620 620
#### verbose output

Also available in: Unified diff