J'utilise NERDTree depuis un moment. Chaque fois que j'ai besoin de créer un nouveau répertoire, je dois accéder au terminal. Existe-t-il un moyen simple et rapide de créer un répertoire à l'aide de NERDTree.
J'ai lu la doc mais je n'ai rien trouvé.
Réponses:
Dans la fenêtre NERDTree, appuyez sur «m»; vous devriez voir un menu en bas. Tapez «a» pour ajouter un nœud enfant. Entrez maintenant le répertoire que vous souhaitez créer, en veillant à ajouter un «/» à la fin, sinon le script créerait un fichier.
AFAIK NERDTree ne peut pas créer de répertoires parents comme le fait «mkdir -p».
la source
Appuyez sur
m
pour ouvrir un menu ci-dessous et vous pouvez sélectionner dans une liste d'actions.Appuyer sur
a
vous permettrait d'ajouter un nœud enfant. Un nœud enfant peut être un fichier ou un dossier selon que vous ajoutez une barre oblique (/) ou non.Si vous n'ajoutez pas de barre oblique comme ci-dessous, cela créerait un fichier.
Si vous ajoutez une barre oblique comme ci-dessous, cela créerait un dossier.
la source
:!mkdir -p path/to/dest
.