to initiate a git repository i'll do:
$ git config --global user.name "John Doe" $ git config --global user.email [email protected] $ git config --global color.diff auto $ git config --global color.status auto $ git config --global color.branch auto $ git config --global core.editor vim $ git config --global merge.tool vimdiff $ git init
//
$ git config --global color.ui false /
color.branch /
color.diff /
color.interactive /
color.status /
$ git config --global color.diff.meta "blue black bold"/
/
$ git config --global core.pager '' /
//
/************ To verify configurations i'll do ************/ $ git config --list
-1- If the repository has been created on Github first, i've to load his content first (pull) to the local directory (/important/)
$ git init
$ git remote add origin https://github.com/hermezdelay/premier_essai.git
$ git pull origin main
-2- To add a directory:
$ git add index.php
/* Or to add all repositories
$ git add .
-3- to commit changes: $ git commit -m "messages of changes i've made"
-4- To push code on the remote repository i'll do
* git remote add origin https://github.com/hermezdelay/premier_essai.git
* git branch -M main
* git push -u origin main
/******************************************************************************************/
/**
- Cette fonction construit et affiche l'email.
- @param {string} nom : le nom du joueur
- @param {string} email : l'email de la personne avec qui il veut partager son score
- @param {string} score : le score.
/
function afficherEmail(nom, email, score) {
let mailto =
mailto:${email}?subject=Partage du score Azertype&body=Salut, je suis ${nom} et je viens de réaliser le score ${score} sur le site d'Azertype !
location.href = mailto } /*****************************************************************************************/