-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Amélioration du terminal #23
Comments
Faudrait aussi changer le MOTD pour donner quelques infos sur les commandes et le teleporteur compose, ça mange pas de pain |
Yes merci, c'était la suggestion d'Aurélien hier que j'avais déjà oublié :d |
On pourra y ajouter un lien vers la doc au passage (bon ok faut faire la doc) |
Faire une ToDo list et finir ça |
Check PR #109 Added command:
|
Final list for this issue :
n |
May be we could mount bind .bash_history and add infinite logging, could be usefull between delete/recreation of TP Aswell using a volumes for places like /usr/local/bin, just an idea |
L'idée est d'ajouter les nombreuses commandes utilises, ajouter aussi des alias pour faciliter la vie des étudiants.
On a déjà l'issue sur le cli mysql : #15
Le but est donc de s'amuser avec le terminal et de remonter ici ce qu'on peut ou doit rajouter ;)
ToDo:
The text was updated successfully, but these errors were encountered: