enamoria · July 3, 2019 03:51
diff --git a/useful_bash.sh b/useful_bash.sh
 # copy a list of file (from file_id_list) from src to dest
 cat file_id_list | awk '{system("cp " $1 " <dest_dir")}'

 # total time of audio file within a directory
 soxi -D *.wav | awk '{sum+=$1} END {print sum}'
	# copy a list of file (from file_id_list) from src to dest
	cat file_id_list \| awk '{system("cp " $1 " <dest_dir")}'

	# total time of audio file within a directory
	soxi -D *.wav \| awk '{sum+=$1} END {print sum}'