Joined February 2012

Sequoia McDowell

Contract Developer at PTC
Contract Developer

Some additional explanation would be helpful.

  • What's the purpose of changing worktree? (I'm unfamiliar with the option, I've never needed to use it.)
  • Why are you calling the server remote origin? Seems more like "destination." (This could be very confusing to people users who aren't that familiar with git remotes.)
  • An explanation of the post-receive hook would be useful (I now get that after pushing you have to checkout on the remote to actually update the working dir but that wasn't immediately apparent).
Posted to Backup all modified files in git. over 1 year ago

Let me know it the current edit contains any more glaring issues :)

Posted to Backup all modified files in git. over 1 year ago

Thank you twolfsen, mysz! The tipper becomes the tipee. :) I'll rewrite this with (hopefully) more useful uses of git ls-files.

Posted to Shortcuts that save time over 1 year ago

And if you've already hit enter and the shell complains about your typo (gir e.g.), you can use carats to rerun with replacements.
$ gir clone No command 'gir' found, did you mean: [...] $ ^gir^git^ git clone

211 Karma
11,528 Total ProTip Views