git clone "$source_dir" "$dest_dir" &&
cd "$dest_dir" &&
-pwd >> "$HOME"/admin/prog/git-scripts/locate-all.list &&
+pwd >> "$HOME"/prog/git-scripts/locate-all.list &&
if [ "`cat \"$source_dir\"/.git/description`" = \
"Unnamed repository; edit this file 'description' to name the repository." ]
then