Guest User

Untitled

a guest
Jul 18th, 2018
88
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.41 KB | None | 0 0
  1. --ignore-space-change
  2. --ignore-all-space
  3. --ignore-space-at-eol
  4.  
  5. git config mergetool.cp.cmd '/bin/cp -v "$REMOTE" "$MERGED"'
  6. git config mergetool.cp.trustExitCode true
  7.  
  8. git mergetool --tool=cp
  9. git mergetool --tool=cp -- paths/to/files.txt
  10. git mergetool --tool=cp -y -- paths/to/files.txt # without prompting
  11.  
  12. git checkout HEAD -- path/to/myfile.txt
  13.  
  14. git checkout remote/branch_to_merge -- path/to/myfile.txt
Add Comment
Please, Sign In to add comment