Có cách nào dễ dàng và nhanh chóng để nhập các ký tự vui nhộn (như, ≟, ∘, ∨, v.v.) từ Scalaz không? (Tôi đang sử dụng Ubuntu 9.04)
Có cách nào dễ dàng và nhanh chóng để nhập các ký tự vui nhộn (như, ≟, ∘, ∨, v.v.) từ Scalaz không? (Tôi đang sử dụng Ubuntu 9.04)
Câu trả lời:
|+|
là một bí danh cho ⊹
.x mapmap<TAB>
để có được x ∘∘
. Hướng dẫn cài đặt được đề cập trong câu hỏi gần đây . IntelliJ có Phiên bản Cộng đồng miễn phí, và sự lựa chọn và đề xuất cá nhân của tôi cho mã hóa Scala.Tại sao lại sử dụng những biểu tượng này?
Thí dụ:
some(7) ∘ {1 +}
List(1, 2, 3) ∗ {x => List(7, x)}
case class Person(age: Int, name: String)
some(10) ⊛ none[String] apply Person.apply
some(7) ∘ {1 +}
, thật không thể hiểu điều đó có nghĩa là gì. Bạn có thể lập luận rằng đó là để lưu tổ hợp phím, nhưng nếu bạn phải gõ "mapmap <TAB>" để lấy đúng ký tự, tại sao không gọi sơ đồ chức năng?
Thử đi -
Đảm bảo rằng numlock bị TẮT
Giữ phím ALT Trên bàn phím
số - bấm +
và sau đó là số Unicode thập phân của ký tự bạn muốn.
Thả phím ALT
Đây là một thủ thuật cũ hoạt động trong DOS với mã ASCII (không có +
) và hoạt động trong các cửa sổ trong các hộp chỉnh sửa có Unicode. Nó nên hoạt động trên một số linux tôi nghĩ.
Bạn cũng có thể muốn thử phương pháp được mô tả ở đây .
Nó dễ dàng hơn trong Linux so với bất kỳ HĐH nào khác mà tôi biết.
Kiểm tra liên kết này để biết thông tin cơ bản / chi tiết: https://help.ubfox.com/community/ComposeKey
Đầu tiên, bạn có thể nhấn Ctrl + Shift + U theo sau là mã Unicode. Ví dụ: Ctrl + Shift + U + 2203 =. Điều đó có thể không thuận tiện, nhưng bạn sẽ cần nó cho bước tiếp theo.
Cách tốt hơn là sử dụng khóa soạn thảo, AKA Multi_key. Như được mô tả trong bài viết trên, bạn có thể soạn các ký tự với Multi_key + char1 + char2. Ví dụ: Multi_key 'e là é.
Tôi thấy rằng phím Caps Lock tạo nên một Multi_key lộng lẫy. Bạn có thể đặt nó với Tùy chọn hệ thống -> Bàn phím -> Bố cục -> Tùy chọn.
Để thực hiện các trình tự quan trọng của riêng bạn. tạo một tệp ~ / .XCompose và thêm các mục như
: ""
(sử dụng thủ thuật Ctrl + Shift + U hoặc chỉ với sao chép / dán)
Đăng xuất và đăng nhập lại (hoặc, để kiểm tra, chỉ cần chạy ssh -X localhost xterm).