Not really, because deleting a file is also a change (unless it was
freshly added, of course). It's one of those cases where cvs has
fostered broken thinking which one gets used to after a while.

"git checkout -- <file>" does exactly the right thing, because
typically one doesn't want to pull in the latest version from the
server at the same time. The only thing git doesn't get quite right
here imo is that it isn't available from git reset;
"git reset --hard -- <file>" would have been more logical.
  • Mer... Martin Stjernholm, Roxen IS @ Pike developers forum
    • ... Marcus Comstedt (ACROSS) (Hail Ilpalazzo!) @ Pike (-) developers forum
      • ... Per Hedbor () @ Pike (-) developers forum
        • ... Martin Nilsson (Opera Mini - AFK!) @ Pike (-) developers forum
          • ... Martin Stjernholm, Roxen IS @ Pike developers forum
            • ... Per Hedbor () @ Pike (-) developers forum
              • ... Martin Stjernholm, Roxen IS @ Pike developers forum
                • ... Peter Bortas @ Pike developers forum
                • ... Martin Stjernholm, Roxen IS @ Pike developers forum
                • ... Peter Bortas @ Pike developers forum
                • ... Martin Stjernholm, Roxen IS @ Pike developers forum
        • ... Peter Bortas @ Pike developers forum
        • ... Peter Bortas @ Pike developers forum

Reply via email to