2010-11-22 19 views
9

Sur 6.12.2, ce juste a fonctionné pour moi, je pense. Mais maintenant je suis sur une nouvelle case avec 6.12.3 (unix binaire générique), et il y a évidemment un réglage qui me manque. J'ai un historique de la console dans ghci dans une seule session (c'est-à-dire l'exécution de ghci), mais cet historique n'est pas sauvegardé et rechargé entre les sessions, comme c'était le cas auparavant. Je ne peux pas savoir si ghci utilise readline, editline ou haskeline même, donc je ne sais pas trop par où commencer pour résoudre ce problème.histoire de la console persistante ghci

Répondre

6

Cela peut ne pas être d'une grande aide, mais avez-vous vérifié si le fichier ghci_history est en cours d'écriture dans ~/.ghc/ghci_history?

+3

Ce fut en effet la réponse. Pour une raison quelconque, ghc/ghci n'a pas réussi à créer le répertoire .ghc. J'ai créé le répertoire, et maintenant mon histoire y est stockée :-) – sclv

+0

Et quel est le comportement attendu de ghci? Devrait-il essayer de créer ~/.ghc si ce n'est pas là? J'ai découvert que je peux aussi utiliser la fonction d'historique persistant (que j'ai raté auparavant) après avoir créé ce répertoire. N'est-il pas agréable que ghci ([alt1] GHC-7.0.1- (http://prometheus.altlinux.org/en/Sisyphus/srpms/ghc)) ne crée pas automatiquement, de sorte que je ne l'ai appris * par occasion * qu'il peut y avoir persistante histroy dans GHCi? –

+1

@imz - J'ai déposé un ticket après avoir réalisé ce qui se passait. Il devrait être fixé 7.0.3: http://hackage.haskell.org/trac/ghc/ticket/4522 – sclv

0

Le Sean Seefried's answer ne fonctionne pas dans les systèmes Windows car ghc a son domicile dans %APPDATA%\ghci (dans mon cas, C:\Users\me\AppData\Roaming\ghci).

Le fichier se trouve là: ghci_history

+0

Mon fichier' ghci_history' sur Windows est complètement vide ? Et rien n'est sauvé là-bas? – CMCDragonkai

+0

@CMCDragonkai Cela pourrait-il être lié aux permissions? Un utilisateur normal peut-il écrire dedans? Je n'ai eu aucun problème avec ça –