devel:configcomptewarhole
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| devel:configcomptewarhole [2026/03/12 16:34] – created papeleux | devel:configcomptewarhole [2026/03/31 17:39] (current) – papeleux | ||
|---|---|---|---|
| Line 29: | Line 29: | ||
| - copie le fichier de configuration des programmes externes vers votre HOMEDIR | - copie le fichier de configuration des programmes externes vers votre HOMEDIR | ||
| - crée un répertoire de travail D: | - crée un répertoire de travail D: | ||
| - | - ajoute une clé au registre pour executer ~\bin\cfg\warhole\bashrc.cmd à chaque connection (script qui appele la configuration de la console avec mes libs via D: | + | - copie le fichier bashrc.cmd vers votre HOMEDIR |
| + | |||
| + | nb : | ||
| + | - l' | ||
| ====== Utiliser la machine ===== | ====== Utiliser la machine ===== | ||
| + | - à chaque connection ssh, lancez le script de configuration bashrc.cmd (sorry, j'ai pas trouvé d' | ||
| - comp.py a été porté sous windows et est utilisable (via l' | - comp.py a été porté sous windows et est utilisable (via l' | ||
| <note important> | <note important> | ||
| Line 43: | Line 47: | ||
| </ | </ | ||
| | | ||
| - | - Si vous devez corriger du code, windows n' | + | - Si vous devez corriger du code, windows n' |
devel/configcomptewarhole.1773329682.txt.gz · Last modified: by papeleux
