Closed amueller closed 8 years ago
Okay I can do that after the renaming (I think you wanted to do the latter?)
I'll do that now
"want" is a strong word. btw do you have a good way of renaming stuff using git move?
haha fair enough. Hm, I only have global rename scripts but nothing like this num-2 thing for notebook 7 or above :P. I think you don't even need to use git move, just the shell mv
, it's equivalent
EDIT:
I mean, the newer git versions will detect it automatically and rename files if you just use mv
no, mv loses the history, git mv does not.
we should do that after making sure the outline is as we want it.