linux_install
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| linux_install [2025/09/18 23:30] – created stephen | linux_install [2025/10/31 05:36] (current) – stephen | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Linux Install ====== | ====== Linux Install ====== | ||
| + | |||
| + | ===== Resources ===== | ||
| + | |||
| + | * [[https:// | ||
| + | * [[https:// | ||
| + | |||
| ===== Prep ===== | ===== Prep ===== | ||
| Line 5: | Line 11: | ||
| - Update Brave' | - Update Brave' | ||
| + | ===== 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 '' | ||
| + | - Reboot into BIOS. | ||
| + | - Select 'F9 Boot Device Options' | ||
| + | - There will be something like ", | ||
| + | - Select ' | ||
| + | - The boot loaders will be display as '.efi. files. You want the ' | ||
| + | - Write down the whole path. Should be something like '' | ||
| + | - Create the custom boot. | ||
| + | - Select 'BIOS Setup (F10)' -> ' | ||
| + | - Select ' | ||
| + | - Set boot order: | ||
| + | - USB Hard Drive | ||
| + | - Custom Boot | ||
| + | |||
| + | ==== OS Setup ==== | ||
| + | |||
| + | * Install fonts. | ||
| + | * Download the following fonts: | ||
| + | * [[https:// | ||
| + | * [[https:// | ||
| + | * Extract and copy the '' | ||
| + | * 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 [[https:// | ||
| + | * Run '' | ||
| + | * Run '' | ||
| + | * Install themes from [[https:// | ||
| + | * System Settings > Themes. | ||
| + | * Try ' | ||
| + | |||
| + | ==== 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: '' | ||
| + | - Install Git: '' | ||
| + | - Install GitHub: '' | ||
| + | - Install GitHub Copilot: '' | ||
| + | - Install Flatseal: '' | ||
| + | - Get bookmarks: | ||
| + | - '' | ||
| + | - '' | ||
| + | - '' | ||
| + | - ''< | ||
| + | - Grant Brave permissions: | ||
| + | - Open Flatseal, Brave -> Filesystem. | ||
| + | - Other files, add '' | ||
| + | - Reboot the system (maybe restart Brave). | ||
| + | - Test by copy & paste: ''< | ||
| + | - Setup Brave: | ||
| + | - Brave > Settings > Appearance. | ||
| + | - Show Home button: Enabled. | ||
| + | - Configure custom home page. Likely to be something like ''< | ||
| + | - New tab page > New tab page shows > Homepage. | ||
| ===== Installs ===== | ===== Installs ===== | ||
| + | |||
| + | ==== Misc ==== | ||
| + | |||
| + | - Install extra codecs: '' | ||
| + | |||
| + | ==== Apps ==== | ||
| + | |||
| + | * Brave | ||
| + | * VLC | ||
| ==== Games ==== | ==== Games ==== | ||
linux_install.1758238225.txt.gz · Last modified: 2025/09/18 23:30 by stephen
