2010-08-02 27 views
51

Tôi đang sử dụng ghci 6.8.2 trên Ubuntu. Ghci có sử dụng tệp cấu hình mà chúng tôi có thể thực hiện một số thiết lập ban đầu không ?. Ví dụ: :set prompt "ghci> ".tập tin cấu hình ghci

Trả lời

72

Bạn đã thử thêm :set prompt "ghci> " vào ~/.ghci?

+0

Xin lỗi vì câu hỏi cơ bản như vậy, nhưng tôi không thể hiểu được: Tên đầy đủ của tệp .ghci là gì? Và nơi chính xác để đưa tập tin đó? Tôi đã thử đặt tập tin này trong vùng lân cận của một tệp mã haskell, nhưng ghci dường như không đọc tệp .ghci đó. – awllower

+0

Trong Windows, bạn đặt tệp vào thư mục người dùng của mình. Ví dụ. 'C: \ Users \ YourUsername \'. – MasterMastic

45

Sau khi áp dụng @ câu trả lời HVR của tôi đã cảnh báo sau đây:

*** WARNING: ~/.ghci is writable by someone else, IGNORING! 

Giải pháp là chmod g-w ~/.ghci.

Các vấn đề liên quan