Làm cách nào để xóa dấu nhắc lệnh của WinGhci (một trong các Haskell của Windows IDE) và tất cả các giá trị "phiên" hiện tại?Xóa dấu nhắc lệnh của WinGhci (và cả giá trị của nó)
6
A
Trả lời
11
Bạn có thể sử dụng :load
không có đối số để xóa tất cả các mô-đun và các ràng buộc. Để xóa lời nhắc, chỉ cần nhấn ctrl + s
.
0
Đối với tôi Ctrl + L hoạt động trên cửa sổ :)
Các vấn đề liên quan
- 1. lấy các khóa và giá trị tại dấu nhắc lệnh
- 2. Sử dụng ssh từ dấu nhắc lệnh của Windows
- 3. Dấu nhắc lệnh VS2008 + Cygwin
- 4. Sendkeys từ dấu nhắc lệnh
- 5. PHP Lấy thông số URL và giá trị của nó
- 6. Biểu thức boolean Bash và gán giá trị của nó
- 7. Giá trị băm và giá trị băm in của Ruby
- 8. Gắn tên chi nhánh của git để nhắc lệnh
- 9. MongoDB: Giảm cân khi xóa bộ sưu tập và xóa tất cả tài liệu của nó
- 10. Knockout.js đặt lại giá trị của một lựa chọn về giá trị mặc định của nó
- 11. Chuyển đối số tới CMAKE qua dấu nhắc lệnh
- 12. Cách lấy giá trị đối tượng JSON nếu tên của nó chứa dấu chấm?
- 13. Cập nhật SQL để lật dấu của một giá trị?
- 14. cách xóa dấu gạch dưới khỏi giá trị của vùng văn bản?
- 15. Xóa dấu chấm và dấu phẩy khỏi các giá trị cột
- 16. zsh không tính lại dấu nhắc trình bao của tôi
- 17. Mongo DB Xóa trường và giá trị
- 18. Nhận Đầu ra Dấu nhắc Lệnh tới Chuỗi Trong Java
- 19. In tên và giá trị của macro
- 20. Monads tại dấu nhắc?
- 21. Ruby, xóa các giá trị null của một chuỗi
- 22. WinGHCi sẽ không bắt đầu
- 23. Cách xóa tất cả các phiên bản của các giá trị trùng lặp khỏi một mảng
- 24. RunCodeAnalysis = true không hoạt động trong dấu nhắc lệnh (MSBuild)
- 25. Giá trị phân cách bằng dấu phẩy của DB2
- 26. cột Xóa dựa trên giá trị của một hàng
- 27. Cách sắp xếp LinkedHashMap theo trường giá trị của nó?
- 28. Thay đổi mục tiêu của phím tắt từ dấu nhắc lệnh
- 29. Lệnh Linux để lấy giá trị hiện tại của java.io.tmpdir
- 30. gcc và g + + nhắc lệnh biên soạn và liên kết
Nó hoạt động với dấu nhắc lệnh ghci (ghci.exe), không phải với winghci gui (winghci.exe). Ctrl L là để tải các mô-đun. – mg007
@Mihir Gokani, cảm ơn vì đã làm rõ – sakhunzai