{% extends 'checkerapp/course_content.html' %} {% load static %} {% block course_content %}
Files zijn er niet voor altijd. Sommige files worden per ongeluk opgenomen en moeten uit versiebeheer verwijderd worden. Andere files worden doorheen de tijd overbodig. Om een file te verwijderen uit versiebeheer gebruiken we git rm
, gevolgd door de naam van de file.
Dit verwijdert de file niet meteen uit versiebeheer. Het verwijdert de file wel van de schijf en noteert ("in potlood") in de staging area dat de file verdwenen is. Om de wijziging definitief te maken, is het nog steeds nodig git commit
uit te voeren. Vanaf dan zal de file niet meer terug te vinden zijn in snapshots van je project.
Soms wil je een file wel bewaren op je PC, maar niet in versiebeheer. Dit kan bijvoorbeeld als je eigen nota's of configuratiebestanden in een project zet. Dat kan nuttig zijn, maar er kan gevoelige informatie in staan die je niet met anderen wil delen. Dan moet je de file verwijderen uit versiebeheer zonder hem van je eigen systeem te verwijderen. Dit doe je met git rm --cached
.
Als je een file verwijdert uit versiebeheer, zal hij niet meer aanwezig zijn in verderesnapshots. Hij zal wel deel blijven uitmaken van je eerdere geschiedenis.
{% endblock course_content %} {% block assignment %} {% autoescape off %} {{ custom_data.rendered_mc_qs }} {% endautoescape %} {% endblock assignment %}