linux_install
This is an old revision of the document!
Table of Contents
Linux Install
Resources
Prep
- Update Brave's sync codes.
Post Install
BIOS Setup
Seems that for an HP EliteBook, a custom boot is required:
- Determine your where your boot loader is. It is probably
\EFI\ubuntu\grubx64.efi
, but you can check:- Reboot into BIOS.
- Select 'F9 Boot Device Options' → 'Boot from EFI File' → 'Select File System'.
- There will be something like “,Acpi(PNP0A03,0/PCi(1F|2)/Sata(Port 0)…..”.
- Select 'EFI' → 'ubuntu'.
- The boot loaders will be display as '.efi. files. You want the 'grub' one.
- Write down the whole path. Should be something like
\EFI\ubuntu\grubx64.efi
.
- Create the custom boot.
- Select 'BIOS Setup (F10)' → 'Advanced Settings' → 'Boot Options'.
- Select 'Custom boot', tick 'Add boot', fill in
\EFI\ubuntu\grubx64.efi
.
- Set boot order:
- USB Hard Drive
- 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
- System Settings > Themes.
- Try 'Mint-Y-Dark-Aqua'
App Setups
Brave
- 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
- Prep:
- Update:
sudo apt-get update
- Install Git:
sudo apt-get install git
- Install GitHub:
sudo apt install gh
- Install GitHub Copilot:
gh extension install github/gh-copilot
- Install Flatseal:
flatpak install com.github.tchx84.Flatseal
- Get bookmarks:
mkdir -p ~/Dev
cd ~/Dev
gh auth login
- Grant Brave permissions:
- Open Flatseal, Brave → Filesystem.
- Other files, add
~/Dev/bookmarks:ro
- Reboot the system (maybe restart Brave).
- 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 - 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