• Fonts
• Themes

1. Update Brave's sync codes.

Seems that for an HP EliteBook, a custom boot is required:

1. Determine your where your boot loader is. It is probably \EFI\ubuntu\grubx64.efi, but you can check:
   1. Reboot into BIOS.
   2. Select 'F9 Boot Device Options' → 'Boot from EFI File' → 'Select File System'.
   3. There will be something like “,Acpi(PNP0A03,0/PCi(1F|2)/Sata(Port 0)…..”.
   4. Select 'EFI' → 'ubuntu'.
   5. The boot loaders will be display as '.efi. files. You want the 'grub' one.
   6. Write down the whole path. Should be something like \EFI\ubuntu\grubx64.efi.
2. Create the custom boot.
   1. Select 'BIOS Setup (F10)' → 'Advanced Settings' → 'Boot Options'.
   2. Select 'Custom boot', tick 'Add boot', fill in \EFI\ubuntu\grubx64.efi.
3. Set boot order:
   1. USB Hard Drive
   2. Custom Boot

• Install fonts.
  • Download the following fonts:
    • Inter
    • Fira Code
  • Extract and copy the *.ttf files to /home/stephen/.local/share/fonts (may need to create the directory).
• Set system fonts.
  • System Settings > Font Selection.
    • Default font: Inter Regular 10
    • Desktop font: Inter Regular 10
    • Window title font: Inter Medium 10
• Themes.
  • Install ocs-url.
    • Download the Debian install. Look here and download something like ocs-url_3.1.0-0ubuntu1_amd64.deb.
    • Run sudo apt install libqt5svg5 qml-module-qtquick-controls
    • Run sudo dpkg -i ~/Downloads/ocs-url_3.1.0-0ubuntu1_amd64.deb
  • Install themes from here. Try Skeuos (blue).
  • System Settings > Themes.
    • Try 'Mint-Y-Dark-Aqua'

1. Settings > Content > Customise fonts
   • Standard font: Times New Roman
   • Serif font: Times New Roman
   • Sans-serif font: Arial
   • Fixed-width font: Consolas (maybe FiraCode Nerd Font?)

1. Prep:
   1. Update: sudo apt-get update
   2. Install Git: sudo apt-get install git
   3. Install GitHub: sudo apt install gh
   4. Install GitHub Copilot: gh extension install github/gh-copilot
   5. Install Flatseal: flatpak install com.github.tchx84.Flatseal
2. Get bookmarks:
   1. mkdir -p ~/Dev
   2. cd ~/Dev
   3. gh auth login
   4. git clone https://github.com/TallGuy789/bookmarks.git
3. Grant Brave permissions:
   1. Open Flatseal, Brave → Filesystem.
   2. Other files, add ~/Dev/bookmarks:ro
   3. Reboot the system (maybe restart Brave).
   4. Test by copy & paste: file:///home/stephen/Dev/bookmarks/index.html
4. Setup Brave:
   1. Brave > Settings > Appearance.
   2. Show Home button: Enabled.
   3. Configure custom home page. Likely to be something like file:///home/stephen/Dev/bookmarks/index.html
   4. New tab page > New tab page shows > Homepage.

1. Install extra codecs: sudo apt install ubuntu-restricted-extras

• Brave
• VLC

• Beyond All Reason
• 0 A.D
• The Battle for Wesnoth