diff --git a/public/0_intro_vscode.html b/public/0_intro_vscode.html index 997d589..b0022c3 100644 --- a/public/0_intro_vscode.html +++ b/public/0_intro_vscode.html @@ -77,8 +77,11 @@

Dossiers / Fichiers

+ Ctrl+R ouvrir un projet/dossier + Alt+T popup fichiers récents + Ctrl+E Chercher parmis les fichiers du dossier/projet Ctrl+Maj+S sauvegarder sous (un autre nom) - Ctrl+R ouvrir un répertoire (espace de travail) + + vsc /ou/ vsc /path/to/file.text ( ouvrir dans l'éditeur )
@@ -109,7 +112,9 @@

Navigation fichier

- Alt+O (perso.custo) Afficher le fichier dans le navigateur (new tab) -- macro dans settings + Alt+O (perso.script) Afficher le fichier dans le navigateur (new tab) -- macro dans settings + + open /ou/ open /path/to/file.text ( navigateur ) + . . . Alt+T (perso.custo) Affichage rapide du dernier fichier ouvert (liste) Alt+Maj+T (perso.custo) Affichage rapide du dernier fichier ouvert (liste) Ctrl+G Go to line (> numéro de ligne) diff --git a/public/style.css b/public/style.css index 3cb94ef..9487ff6 100644 --- a/public/style.css +++ b/public/style.css @@ -283,6 +283,7 @@ div.code-toolbar > .toolbar { font-size: 12px; } */ +cmd, code.term, code.key, kdb, @@ -304,6 +305,12 @@ code.term { background: rgb(237, 221, 221); color: #000000 !important; } +cmd { + background: #000; + color: #3fff3f !important; + font-size: 1em; +} + hr.space { height: 2rem; border: 0; diff --git a/public_0/index.html b/public_0/index.html deleted file mode 100644 index 140ce98..0000000 --- a/public_0/index.html +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - Plain HTML site using GitLab Pages - - - -
- URL du projet (sur gitlab, repo d'origine) + Repo gitlab -
- -

Bonjour le Monde !

- -

- Un projet simple construit grâce à un template sur GitLab -

- - - diff --git a/public_0/style.css b/public_0/style.css deleted file mode 100644 index 2839a1d..0000000 --- a/public_0/style.css +++ /dev/null @@ -1,24 +0,0 @@ -body { - font-family: sans-serif; - margin: auto; - max-width: 1280px; -} - -.navbar { - background-color: #FFF; - border-radius: 2px; - max-width: 800px; -} - -.navbar a { - color: #000; - display: inline-block; - font-size: 15px; - padding: 10px 10px 10px 0; - text-decoration: none; -} - -.navbar a:hover { - color: #ffffff; -} -