| :root { | |
| --inherit-base-theme: true; | |
| --primary: #595959; | |
| --back: #0d1117; | |
| --font: #eff0f1; | |
| --font-hint: #898b8d; | |
| --button-back: #30353a; | |
| --button-border: #6b6f73; | |
| --button-radius: 2dp; | |
| --base-horizontal-padding: 5dp; |
| [github dark] | |
| background = #13171e | |
| text = #abb2bf | |
| caret = #abb2bf | |
| accent = #ffffff | |
| selection = #3e4451 | |
| line_number = #6d7175 | |
| line_number2 = #ffffff | |
| line_highlight = #1c1f25 | |
| whitespace = #1c1f25 |
Follow all the steps explained here: https://docs.voidlinux.org/installation/live-images/guide.html
In cases where BootOrder is either not updated, or not saved/followed after you reboot, then you should try copying grubx64.efi to the common default EFI loader location.
You'll need to mount your EFI partition, and we'll assume it's on /mnt/. (In your installed Void system, the mount point would normally be /boot/efi/)
Source: https://wiki.voidlinux.org/Installation:_UEFI
| Unicode table - List of most common Unicode characters * | |
| * This summary list contains about 2000 characters for most common ocidental/latin languages and most printable symbols but not chinese, japanese, arab, archaic and some unprintable. | |
| Contains character codes in HEX (hexadecimal), decimal number, name/description and corresponding printable symbol. | |
| What is Unicode? | |
| Unicode is a standard created to define letters of all languages and characters such as punctuation and technical symbols. Today, UNICODE (UTF-8) is the most used character set encoding (used by almost 70% of websites, in 2013). The second most used character set is ISO-8859-1 (about 20% of websites), but this old encoding format is being replaced by Unicode. | |
| How to identify the Unicode number for a character? | |
| Type or paste a character: |
I hereby claim:
To claim this, I am signing this object: