Het veranderen van de extensie van een bestand van de Linux command line gaat hetzelfde commando als het veranderen van de bestandsnaam zelf : de ' mv ' ( move ) commando . In wezen , bent u "bewegen" het oorspronkelijke bestand in een nieuw bestand met een andere extensie . Als u een fout maakt bij het opnieuw toewijzen van een extensie , kunt u de " mv " commando gebruiken om het terug te veranderen . Instructies 1 Open de gewenste command line utility , zoals Terminal ( Mac OS X ) of de command line prompt ( Windows ) kopen van 2 verbinding met uw server : . < br ssh yourdomain.com > Vervang yourdomain.com met uw specifieke domeinnaam of IP -adres . wijziging 3 naar de map waar het bestand dat u wilt te wijzigen is gelegen : cd /pad /naar /map Vervang /pad /naar /map met de specifieke pad naar de map , dwz /var /public_html /yourdomain.com /publiek Type 4 de volgende opdracht : mv filename.oldextension filename.newextension bijvoorbeeld, als je wilt " index.html " te wijzigen in " index . mv index.html index.php : php " zou je het volgende commando typen |