-
-
Notifications
You must be signed in to change notification settings - Fork 901
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
About git init #99
Comments
I never knew that |
I agree it's tidier, but I'm not convinced of the change. The reason is that I want to stress that the creation of the directory and the creation of the repo are two different and independent processes. Novice learners don't have a clear picture of what the repo is, so they think that this directory is special in some way, different from a regular directory. Having two separate commands for that, stresses this point. When I teach this, I create the new directory, show it around stressing that this is the same as any other, and that this is probably something they already had in their computer (say the thesis you are working on for months and you decided now to put under version control). Also, instead of writing the command to create the dir, I just tell them to do it: "let's create a new directory in our Desktop, using the commands we've seen in the shell lesson", so they review the |
@iglpdc Thanks for the comment. It makes sense to me and I'm closing this based on it. =) |
Related with #98.
What about replace
with
The text was updated successfully, but these errors were encountered: