Sorry, we don't support your browser.  Install a modern browser
Cette suggestion est fermée.

modifier le nom d'une commande#155

?

exemple:
changer le nom de la commande ?clear par ^^purge

il y a 5 ans

Compliqué à mettre en place pour permettre à chaque serveur de personaliser les noms de commandes.
En revanche, s’il s’agit d’ajouter ce genre de raccourcis pour tout le monde, aucun problème

il y a 4 ans
D

Refusé : Comme expliqué par @Le Seul Artichaut, cela serait compliqué à mettre en place et réduirait fortement les performances. Nous pouvons néanmoins réfléchir à mettre en place des alias pour certaines commandes.

il y a 4 ans
D
A changé le statut en
Archivé
il y a 4 ans