AgentCoop · January 13, 2014 21:22
diff --git a/My bash b/My bash
 # Remove the leading capital C letter from PHP filenames

 for filename in $(find -type f -name "C*.php");
 do
   new=$(echo $filename | sed -r 's/C([A-Z].*\.php)/\1/');
   echo $new; 
   git mv $filename $new;
 done
	# Remove the leading capital C letter from PHP filenames

	for filename in $(find -type f -name "C*.php");
	do
	new=$(echo $filename \| sed -r 's/C([A-Z].*\.php)/\1/');
	echo $new;
	git mv $filename $new;
	done