Project

General

Profile

« Previous | Next » 

Revision 13198

fix: lib/sh/util.sh: rel_path(): log this internal command at a higher log_level so it's normally hidden

View differences:

trunk/lib/sh/util.sh
642 642

  
643 643
rel_path() # usage: base_dir=... path=... rel_path
644 644
{
645
	kw_params base_dir path
645
	log_local; log++; kw_params base_dir path
646 646
	: "${base_dir:?}" "${path:?}"
647 647
	
648 648
	local path="$path/" # add *extra* / to match path when exactly = base_dir

Also available in: Unified diff