Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- lines_left=17090
- while read -r line; do
- cp -p --parent "./armhf_w_ac100/$line" "./armhf_trusty"
- echo -ne "copying files, $lines_left files left. Current file: ./armhf_w_ac100/$line \033[0K\r";
- let lines_left=lines_left-1;
- done < diff.log
- echo -ne "Done! \033[0K\n"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement