1
1
# UnicodeREPL
2
2
3
3
This is a small [ Julia] ( https://julialang.org ) package that enables the user
4
- to obtain any Unicode character (that the system fonts can display) in the
5
- Julia REPL if the [ Unicode codepoint] ( https://codepoints.net ) is known.
4
+ to obtain any Unicode character in the Julia REPL if the
5
+ [ Unicode codepoint] ( https://codepoints.net ) is known (and if the system fonts
6
+ can display it).
6
7
7
8
## Installation
8
9
9
10
In the Julia REPL type:
10
11
``` julia
11
12
import Pkg
12
- Pkg. add (" https://github.com/GHTaarn/ UnicodeREPL.jl " )
13
+ Pkg. add (" UnicodeREPL" )
13
14
```
15
+ (Because ` UnicodeREPL.jl ` uses non-public Julia interface components,
16
+ the official version is only compatible with stable Julia versions.
17
+ You can bypass this check with
18
+ ` Pkg.add("https://github.com/GHTaarn/UnicodeREPL.jl#nocompat") ` if you are
19
+ using an unstable version of Julia)
14
20
15
21
## Use
16
22
@@ -19,9 +25,13 @@ In the Julia REPL type:
19
25
using UnicodeREPL
20
26
```
21
27
22
- Hereafter, you will be able to enter "unicode repl" mode by typing
28
+ Herafter you can use the docstring (by typing ` ?UnicodeREPL ` ) to get a
29
+ quick overview of how to use UnicodeREPL.
30
+
31
+ The main feature is "unicode repl" mode, which can be entered by typing
23
32
the ` ^ ` character at the start of a line.
24
- In "unicode repl" mode, any pattern matching ` \u(XXXX) ` will be
33
+ When the ` Tab ` key is pressed in "unicode repl" mode, patterns matching
34
+ ` \u(XXXX) ` will be
25
35
converted to the Unicode character corresponding to ` XXXX ` , where ` XXXX ` is a
26
36
string of any length containing the hexadecimal
27
37
[ Unicode codepoint] ( https://codepoints.net ) of a valid Unicode character.
0 commit comments