Apakah ada cara mudah dan cepat untuk mengetik karakter lucu (seperti ⊛, ≟, ∘, ∨ dll) dari Scalaz? (Saya menggunakan Ubuntu 9.04)
ubuntu
characters
scala
quack quixote
sumber
sumber
Jawaban:
|+|
adalah alias untuk⊹
.x mapmap<TAB>
untuk mendapatkanx ∘∘
. Instruksi pemasangan tercakup dalam pertanyaan terakhir ini . IntelliJ memiliki Edisi Komunitas gratis, dan ini pilihan pribadi serta rekomendasi saya untuk pengkodean Scala.Mengapa menggunakan simbol-simbol ini?
Contoh:
sumber
some(7) ∘ {1 +}
, tidak mungkin untuk memahami apa yang harus dilakukan. Anda bisa berpendapat bahwa ini untuk menyimpan penekanan tombol, tetapi jika Anda harus mengetikkan "mapmap <TAB>" untuk mendapatkan karakter yang tepat, mengapa tidak memanggil fungsi mapmap saja?Coba ini -
Pastikan numlock dalam posisi OFF.
Tahan tombol ALT
Pada panel angka - tekan
+
dan kemudian nomor Unicode desimal karakter yang Anda inginkan.Lepaskan kunci ALT
Ini adalah trik lama yang bekerja di DOS dengan kode ASCII (tanpa
+
) dan bekerja di windows di kotak edit yang mengambil Unicode. Seharusnya berfungsi pada beberapa linux saya pikir.Anda mungkin juga ingin mencoba metode yang dijelaskan di sini .
sumber
Lebih mudah di Linux daripada di OS lain yang saya sadari.
Lihatlah tautan ini untuk latar belakang / perincian: https://help.ubuntu.com/community/ComposeKey
Pertama, Anda dapat menekan Ctrl + Shift + U diikuti dengan kode Unicode. Misalnya, Ctrl + Shift + U + 2203 = ∃. Itu mungkin tidak nyaman, tetapi Anda akan membutuhkannya untuk langkah selanjutnya.
Cara yang lebih baik adalah dengan menggunakan kunci penulisan, AKA Multi_key. Seperti dijelaskan dalam artikel di atas, Anda dapat membuat karakter dengan Multi_key + char1 + char2. Misalnya, Multi_key 'e adalah é.
Saya menemukan bahwa tombol Caps Lock membuat Multi_key yang bagus. Anda dapat mengaturnya dengan System Preferences -> Keyboard -> Layout -> Options.
Untuk membuat urutan kunci penulisan Anda sendiri. buat file ~ / .XCompose dan tambahkan entri seperti
: "∃"
(menggunakan trik Ctrl + Shift + U, atau hanya dengan menyalin / menempel)
Logout dan masuk lagi (atau, untuk pengujian, jalankan ssh -X localhost xterm).
sumber