Andreas Schwab <schwab@xxxxxxxxxxxxxx> writes: > Jeff King <peff@xxxxxxxx> writes: > >> It also conflicts a little with the shell's "~user" syntax, though >> presumably you don't have users named "1" and "2". > > Well, you sorta do if you did use pushd. Yeah, I was also worried about that. Or some arcane system misinterpreting "~0" as the home directory of root ;-) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html