Queer European MD passionate about IT

pull_image_editor.sh 445 B

12345678910111213141516171819
  1. #!/bin/bash
  2. key="/home/michele/aruba_repo";
  3. # Get current directory
  4. this_script_directory=$(cd `dirname $0` && pwd);
  5. parent_directory=$(
  6. dirname $(
  7. dirname "$this_script_directory"
  8. )
  9. )
  10. log_file="$parent_directory/michele/pull/log.txt";
  11. cd /home/michele/michele/image-editor;
  12. eval `ssh-agent -s`;
  13. ssh-add "$key";
  14. echo "Pulled at $(date '+%d/%m/%Y %H:%M:%S') with result:" >> "$log_file";
  15. git pull &>> "$log_file";
  16. eval `ssh-agent -k`;