Modifications

Sauter à la navigation Sauter à la recherche
225 octets ajoutés ,  13 décembre 2016 à 22:41
Ligne 320 : Ligne 320 :     
=== edit ===
 
=== edit ===
  edit filename
+
  edit nom-du-fichier
   −
If the file is on a pyboard, it copies the file to host, invokes an
+
Permet d'éditer un fichier dans l'éditeur configuré dans RSheel.
editor and if any changes were made to the file, it copies it back to
  −
the pyboard.
     −
The editor which is used defaults to vi, but can be overridem using
+
Si le fichier est sur une carte MicroPython ALORS:
either the --editor command line option when rshell.py is invoked, or by
+
# Le fichier est copié sur l'hôte,
using the RSHELL\_EDITOR, VISUAL or EDITOR environment variables (they
+
# L'éditeur est invoqué,
are tried in the order listed).
+
# Et si le fichier à été modifié
 +
## le fichier modifié est renvoyé vers la carte MicroPython.
 +
 
 +
L'éditeur par défaut est '''vi''' mais peut être mais peut être modifié en utilisant l'option --editor en ligne de commande. Vous pouvez également modifier l'éditeur par défaut en utilisant l'une des varaibles d'environnement suivantes RSHELL_EDITOR, VISUAL ou EDITOR (ces variables sont testées dans l'ordre indiqué).
    
=== filesize ===
 
=== filesize ===
29 836

modifications

Menu de navigation