J'utilise assez souvent tcsh et pose plusieurs questions sur son histoire:
- Existe-t-il un moyen de sauvegarder des commandes pour différents onglets de shell séparément?
- Existe-t-il un moyen de sauvegarder les commandes par session (dans des cas comme celui-ci: ssh autre utilisateur @ autre ordinateur)?
- Puis-je ajouter des dates à l'historique du shell? (Je sais que cela peut être fait en bash)