blob: d062276ef9247760b54be7bb3c64480155d27247 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# Fonts on 9front
By default 9front uses a font called VGA but its too small for my eyes.
The fonts I use (dejavu) look like this[![an image showing the fonts][1]][1] and are attached below:
[proportional font](https://files.pmikkelsen.com/djv.tar)
[monospace font](https://files.pmikkelsen.com/djvmono.tar)
They can be recreated by having them installed on linux and doing the following from
linux with plan9port installed.
fontsrv -m /tmp/fonts
cp -r /tmp/fonts/DejaVuSomeThing/14a/ /tmp/djv
You can try a different font or font size if you want.
Then connect to 9front via drawterm and run:
mkdir /lib/font/bit/djv
dircp /mnt/term/tmp/djv /lib/font/bit/djv
Finally change your `lib/profile` to use `/lib/font/bit/djv/font` :)
Note that 9front includes truetypefs which allows you to use `.ttf` files
directly, but I find the results are better looking this way.
[1]: https://images.pmikkelsen.com/djvfonts.png
|