Advertisement
Guest User

Trouble maker

a guest
Mar 3rd, 2015
301
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.29 KB | None | 0 0
  1. #!/bin/bash          
  2. lines_left=17090
  3. while read -r line; do
  4.  cp -p --parent "./armhf_w_ac100/$line" "./armhf_trusty"
  5.  echo -ne "copying files, $lines_left files left. Current file: ./armhf_w_ac100/$line \033[0K\r";
  6.  let lines_left=lines_left-1;
  7. done < diff.log
  8. echo -ne "Done! \033[0K\n"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement