User Tools

Site Tools


linux_install

This is an old revision of the document!


Linux Install

Resources

Prep

  1. Update Brave's sync codes.

Post Install

BIOS Setup

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

OS Setup

  • Install fonts.
    • Download the following fonts:
    • 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'

App Setups

Brave

  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?)

Bookmarks

  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
  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 - Setup Brave: - Brave > Settings > Appearance. - Show Home button: Enabled. - Configure custom home page. Likely to be something like file:/home/stephen/Dev/bookmarks/index.html.
    5. New tab page > New tab page shows > Homepage.

Installs

Apps

  • Brave
  • VLC

Games

  • Beyond All Reason
  • 0 A.D
  • The Battle for Wesnoth
linux_install.1760224765.txt.gz · Last modified: 2025/10/11 23:19 by stephen

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki