Premièrement, si la machine sur laquelle vous êtes n’est pas sur Linux mais par exemple sur Windows, vous devrez vous connecter à distance au serveur Linux auquel vous avez accès (dans le cas où vous avez un compte utilisateur sur un serveur Linux) avec la commande ssh. SSH est une commande permettant d’accéder à distance au terminal d’un autre ordinateur (les serveurs ssh peuvent aussi être activés sur Windows), vous ne pourrez, en utilisant ssh, donc pas accéder à une interface graphique mais vous pourrez utiliser des lignes de commandes qui s’exécuteront sur l’ordinateur distant.
La commande est simple :
ssh username@ip_or_domain0
les commandes fondamentales :
ls # liste les fichiers et dossiers du dossier actuel
ls path # liste les fichiers et dossiers d'un dossier en question (path)
cd # retourne vers le dosssier d'origine de l'utilisateur (le dossier home)
cd path # définit le dossier actuel sur "path" (change de dossier actuel)
echo something # affiche "something" dans l'output, équivalent du print mais en command-line
cat path # affiche le contenu d'un fichier
les commandes utiles git:
# si repo déja existant sur serveur:
git clone url # clone le repo de l'url dans un dossier au nom du repo
git clone url path #clone le repo de l'url dans un dossier path
#sinon pour initialiser un nouveau repo:
git init # initialise un repo git vide dans le dossier actuel
git branch -M main #après initialisation définit la branche principale sur "main"
git remote set origin url # définit l'origin sur l'url d'un repo sur un serveur, les pull et push seront fait vers cette origin
# ensuite une fois que le repo a été clone ou initialisé
git add . # ajoute toutes les modifs
git commit -m "message" # crée un commit avec le message de commit "message"
git push -u origin main # envoie les modifications actuelles sur le serveur distant
git pull origin main # récupère les modifications faites sur le serveur distant