mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-08-13 00:30:35 +00:00
docs(system): separate FRT core from personal software inventory
Provide two lists for clean system recovery: - frt-core-packages.txt: 90 packages required to build, verify, and run the Research Stack (VITAL + NEEDED tiers). Install first on fresh system. - personal-packages.txt: ~200 packages that are NOT required for FRT work. These are quality-of-life, niche domain, or redundant tools. Safe to remove for a clean research environment; reinstall on demand. Total potential savings: ~3-5GB by removing personal tier. Also includes the full 391-package master inventory with per-package justifications in software_inventory_2026-05-13.md.
This commit is contained in:
Brandon Schneider
parent
a1907360dc
commit
b5139fb484
2 changed files with 422 additions and 0 deletions
117
6-Documentation/docs/system/frt-core-packages.txt
Normal file
117
6-Documentation/docs/system/frt-core-packages.txt
Normal file
|
|
@ -0,0 +1,117 @@
|
||||||
|
# FRT Core Runtime — Minimal Package Set
|
||||||
|
# These packages are required to build, verify, and run the Research Stack.
|
||||||
|
# Install on a fresh system with: sudo pacman -S --needed - < frt-core-packages.txt
|
||||||
|
# Note: base + base-devel are assumed already installed.
|
||||||
|
|
||||||
|
# --- VITAL: Boot / Storage / Network / Auth ---
|
||||||
|
linux-cachyos
|
||||||
|
linux-cachyos-headers
|
||||||
|
linux-cachyos-lts
|
||||||
|
linux-cachyos-lts-headers
|
||||||
|
linux-firmware
|
||||||
|
amd-ucode
|
||||||
|
nvidia-580xx-dkms
|
||||||
|
nvidia-580xx-utils
|
||||||
|
nvidia-580xx-settings
|
||||||
|
opencl-nvidia-580xx
|
||||||
|
lib32-nvidia-580xx-utils
|
||||||
|
lib32-opencl-nvidia-580xx
|
||||||
|
lib32-vulkan-icd-loader
|
||||||
|
lib32-vulkan-radeon
|
||||||
|
mkinitcpio
|
||||||
|
efibootmgr
|
||||||
|
efitools
|
||||||
|
limine
|
||||||
|
limine-mkinitcpio-hook
|
||||||
|
limine-snapper-sync
|
||||||
|
device-mapper
|
||||||
|
lvm2
|
||||||
|
cryptsetup
|
||||||
|
btrfs-progs
|
||||||
|
snapper
|
||||||
|
networkmanager
|
||||||
|
iwd
|
||||||
|
openssh
|
||||||
|
sudo
|
||||||
|
iptables
|
||||||
|
pacman
|
||||||
|
pacman-contrib
|
||||||
|
paru
|
||||||
|
yay
|
||||||
|
aurutils
|
||||||
|
pipewire
|
||||||
|
pipewire-alsa
|
||||||
|
pipewire-jack
|
||||||
|
pipewire-pulse
|
||||||
|
wireplumber
|
||||||
|
alsa-firmware
|
||||||
|
alsa-plugins
|
||||||
|
alsa-utils
|
||||||
|
mesa
|
||||||
|
vulkan-icd-loader
|
||||||
|
vulkan-radeon
|
||||||
|
libva-nvidia-driver
|
||||||
|
noto-fonts
|
||||||
|
noto-fonts-cjk
|
||||||
|
noto-fonts-emoji
|
||||||
|
|
||||||
|
# --- NEEDED: Research Stack Toolchain ---
|
||||||
|
git
|
||||||
|
github-cli
|
||||||
|
rustup
|
||||||
|
elan-lean
|
||||||
|
python
|
||||||
|
python-pip
|
||||||
|
python-virtualenv
|
||||||
|
python-pytorch-opt-cuda
|
||||||
|
python-transformers
|
||||||
|
python-bitsandbytes
|
||||||
|
python-cupy
|
||||||
|
python-cuda
|
||||||
|
ollama-cuda
|
||||||
|
open-webui
|
||||||
|
docker
|
||||||
|
docker-compose
|
||||||
|
node
|
||||||
|
npm
|
||||||
|
pnpm
|
||||||
|
visual-studio-code-bin
|
||||||
|
vim
|
||||||
|
firefox
|
||||||
|
chromium
|
||||||
|
zsh
|
||||||
|
bash
|
||||||
|
fish
|
||||||
|
cachyos-zsh-config
|
||||||
|
plasma-desktop
|
||||||
|
kde-gtk-config
|
||||||
|
kdeconnect
|
||||||
|
konsole
|
||||||
|
dolphin
|
||||||
|
rclone
|
||||||
|
texlive-basic
|
||||||
|
texlive-latexextra
|
||||||
|
texlive-mathscience
|
||||||
|
texlive-bibtexextra
|
||||||
|
texlive-fontsextra
|
||||||
|
texlive-fontsrecommended
|
||||||
|
texlive-humanities
|
||||||
|
texlive-pstricks
|
||||||
|
pandoc-cli
|
||||||
|
zotero-bin
|
||||||
|
obsidian
|
||||||
|
signal-desktop
|
||||||
|
telegram-desktop
|
||||||
|
thunderbird
|
||||||
|
bitwarden
|
||||||
|
tailscale
|
||||||
|
wget
|
||||||
|
rsync
|
||||||
|
bind
|
||||||
|
dnsmasq
|
||||||
|
man-db
|
||||||
|
man-pages
|
||||||
|
texinfo
|
||||||
|
btop
|
||||||
|
smartmontools
|
||||||
|
fwupd
|
||||||
305
6-Documentation/docs/system/personal-packages.txt
Normal file
305
6-Documentation/docs/system/personal-packages.txt
Normal file
|
|
@ -0,0 +1,305 @@
|
||||||
|
# Personal / Non-FRT Packages — Safe to Remove for Clean Research Stack System
|
||||||
|
# These are NOT required for Fractal Recursion Theory work.
|
||||||
|
# Remove with: sudo pacman -R - < personal-packages.txt
|
||||||
|
# WARNING: Review before removing — some may be needed for non-FRT daily use.
|
||||||
|
|
||||||
|
# --- Redundant AI IDEs / Agents (keep VS Code + local LLM) ---
|
||||||
|
cursor-bin
|
||||||
|
windsurf-next
|
||||||
|
openai-codex-bin
|
||||||
|
qwen-code-bin
|
||||||
|
claude-code-stable
|
||||||
|
tabby
|
||||||
|
opencode-bin
|
||||||
|
|
||||||
|
# --- Webapp Electron Wrappers (use browser instead) ---
|
||||||
|
notion-app-enhanced
|
||||||
|
notion-native-tauri
|
||||||
|
linear-desktop-git
|
||||||
|
linear-native-tauri
|
||||||
|
gemini-desktop-git
|
||||||
|
|
||||||
|
# --- Redundant Chat CLIs (pick one if needed) ---
|
||||||
|
chatblade
|
||||||
|
tgpt
|
||||||
|
aichat-ng-bin
|
||||||
|
|
||||||
|
# --- Heavy Math / CAS Overlap (Lean + Python cover this) ---
|
||||||
|
sagemath
|
||||||
|
julia
|
||||||
|
octave
|
||||||
|
|
||||||
|
# --- Proof Assistants (Lean is the FRT source of truth) ---
|
||||||
|
isabelle
|
||||||
|
rocq
|
||||||
|
agda
|
||||||
|
agda-stdlib
|
||||||
|
|
||||||
|
# --- Full Crypto Nodes (use light wallets or APIs) ---
|
||||||
|
bitcoin-git
|
||||||
|
go-ethereum
|
||||||
|
|
||||||
|
# --- SDR / Radio (niche hardware tools) ---
|
||||||
|
gnuradio
|
||||||
|
gqrx
|
||||||
|
inspectrum
|
||||||
|
|
||||||
|
# --- Scientific Viz Overlap ---
|
||||||
|
paraview
|
||||||
|
|
||||||
|
# --- Chemistry / Molecular (niche domain) ---
|
||||||
|
avogadro-crystals
|
||||||
|
avogadro-fragments
|
||||||
|
avogadro-molecules
|
||||||
|
avogadrolibs
|
||||||
|
avogadrolibs-qt
|
||||||
|
openbabel
|
||||||
|
|
||||||
|
# --- Bioinformatics (niche domain) ---
|
||||||
|
samtools
|
||||||
|
bcftools
|
||||||
|
minimap2
|
||||||
|
|
||||||
|
# --- CAD / PCB (keep if active hardware projects) ---
|
||||||
|
freecad
|
||||||
|
kicad
|
||||||
|
freerouting
|
||||||
|
openscad
|
||||||
|
|
||||||
|
# --- FPGA (keep only if active silicon projects) ---
|
||||||
|
gowin-eda-edu-ide
|
||||||
|
gowin-eda-edu-programmer
|
||||||
|
yosys
|
||||||
|
prjtrellis
|
||||||
|
vtr
|
||||||
|
openfpgaloader
|
||||||
|
|
||||||
|
# --- Virtualization (Docker covers most; keep QEMU only if needed) ---
|
||||||
|
qemu-system-x86
|
||||||
|
qemu-system-x86
|
||||||
|
qemu-system-xtensa
|
||||||
|
qemu-user-static
|
||||||
|
qemu-user-static-binfmt
|
||||||
|
|
||||||
|
# --- Office Suite (use web or keep minimal) ---
|
||||||
|
libreoffice-fresh
|
||||||
|
libreoffice-extension-texmaths
|
||||||
|
libreoffice-extension-writer2latex
|
||||||
|
|
||||||
|
# --- Extra Editors (vim covers all) ---
|
||||||
|
nano
|
||||||
|
nano-syntax-highlighting
|
||||||
|
micro
|
||||||
|
|
||||||
|
# --- Extra Shells (keep your configured primary) ---
|
||||||
|
# bash is VITAL; zsh + fish are optional
|
||||||
|
# fish
|
||||||
|
cachyos-fish-config
|
||||||
|
|
||||||
|
# --- Media / Entertainment (not research tools) ---
|
||||||
|
blender
|
||||||
|
strawberry
|
||||||
|
haruna
|
||||||
|
vlc-plugins-all
|
||||||
|
sox
|
||||||
|
tesseract
|
||||||
|
tesseract-data-eng
|
||||||
|
|
||||||
|
# --- Communication (keep only what you actively use) ---
|
||||||
|
# signal-desktop — keep (secure comms)
|
||||||
|
# telegram-desktop — keep (community)
|
||||||
|
# thunderbird — keep (email)
|
||||||
|
# bitwarden — keep (auth)
|
||||||
|
protonmail-bridge-bin
|
||||||
|
nheko-git
|
||||||
|
|
||||||
|
# --- System Cosmetics ---
|
||||||
|
cachyos-wallpapers
|
||||||
|
cachyos-plymouth-bootanimation
|
||||||
|
plymouth
|
||||||
|
plymouth-kcm
|
||||||
|
extra themes (cachyos-emerald-kde-theme-git, cachyos-nord-kde-theme-git, cachyos-iridescent-kde)
|
||||||
|
|
||||||
|
# --- Boot / Display Extras ---
|
||||||
|
plymouth
|
||||||
|
cachyos-plymouth-bootanimation
|
||||||
|
cachyos-wallpapers
|
||||||
|
|
||||||
|
# --- Extra Filesystem Tools (btrfs covers all) ---
|
||||||
|
jfsutils
|
||||||
|
xfsprogs
|
||||||
|
f2fs-tools
|
||||||
|
nilfs-utils
|
||||||
|
exfatprogs
|
||||||
|
|
||||||
|
# --- Extra Compression Tools (base gzip/xz cover most) ---
|
||||||
|
lbzip2
|
||||||
|
pbzip2
|
||||||
|
pigz
|
||||||
|
pixz
|
||||||
|
lrzip
|
||||||
|
lzop
|
||||||
|
lzip
|
||||||
|
zopfli
|
||||||
|
|
||||||
|
# --- Extra Network / Hardware Tools (debugging only) ---
|
||||||
|
modemmanager
|
||||||
|
bluez-hid2hci
|
||||||
|
bluez-obex
|
||||||
|
usb_modeswitch
|
||||||
|
usbutils
|
||||||
|
ethtool
|
||||||
|
i2pd
|
||||||
|
|
||||||
|
# --- Extra System Monitors (btop covers this) ---
|
||||||
|
glances
|
||||||
|
|
||||||
|
# --- Download / Transfer Extras ---
|
||||||
|
aria2
|
||||||
|
|
||||||
|
# --- Archive Extras ---
|
||||||
|
unrar
|
||||||
|
|
||||||
|
# --- Mail CLI ---
|
||||||
|
s-nail
|
||||||
|
|
||||||
|
# --- Legacy Network Tools ---
|
||||||
|
inetutils
|
||||||
|
|
||||||
|
# --- Extra File Managers / Search ---
|
||||||
|
catfish
|
||||||
|
|
||||||
|
# --- Extra Calculators ---
|
||||||
|
kcalc
|
||||||
|
|
||||||
|
# --- Extra Display / KCM Tools ---
|
||||||
|
kscreen
|
||||||
|
kinfocenter
|
||||||
|
kwalletmanager
|
||||||
|
kwalletmanager
|
||||||
|
kio-admin
|
||||||
|
|
||||||
|
# --- KDE Plasma Addons (optional widgets) ---
|
||||||
|
kdeplasma-addons
|
||||||
|
plasma-browser-integration
|
||||||
|
plasma-firewall
|
||||||
|
plasma-login-manager
|
||||||
|
plasma-thunderbolt
|
||||||
|
|
||||||
|
# --- Image / Video Thumbnails (optional) ---
|
||||||
|
ffmpegthumbnailer
|
||||||
|
ffmpegthumbs
|
||||||
|
kdegraphics-thumbnailers
|
||||||
|
|
||||||
|
# --- Extra Fonts (keep minimal set: noto, dejavu, liberation, meslo) ---
|
||||||
|
awesome-terminal-fonts
|
||||||
|
char-white
|
||||||
|
ttf-bitstream-vera
|
||||||
|
ttf-opensans
|
||||||
|
cantarell-fonts
|
||||||
|
|
||||||
|
# --- Extra System Utilities ---
|
||||||
|
rebuild-detector
|
||||||
|
reflector
|
||||||
|
pkgfile
|
||||||
|
plocate
|
||||||
|
logrotate
|
||||||
|
|
||||||
|
# --- Boot / Recovery Tools (single-use) ---
|
||||||
|
fsarchiver
|
||||||
|
f3
|
||||||
|
etcher-bin
|
||||||
|
|
||||||
|
# --- AppImage / Wrapper Tools ---
|
||||||
|
guiscrcpy-appimage
|
||||||
|
|
||||||
|
# --- Remote Desktop (if unused) ---
|
||||||
|
remmina
|
||||||
|
|
||||||
|
# --- SSHFS (if unused) ---
|
||||||
|
sshfs
|
||||||
|
|
||||||
|
# --- NFS (if unused) ---
|
||||||
|
nfs-utils
|
||||||
|
|
||||||
|
# --- CachyOS Branding Extras ---
|
||||||
|
cachyos-hello
|
||||||
|
cachyos-packageinstaller
|
||||||
|
cachyos-rate-mirrors
|
||||||
|
cachyos-kernel-manager
|
||||||
|
cachyos-micro-settings
|
||||||
|
cachyos-settings
|
||||||
|
cachyos-hooks
|
||||||
|
cachyos-snapper-support
|
||||||
|
|
||||||
|
# --- Misc / Unknown Purpose ---
|
||||||
|
tungsten
|
||||||
|
antigravity
|
||||||
|
harper
|
||||||
|
|
||||||
|
# --- Wolfram (if no active license/project) ---
|
||||||
|
wolframalpha
|
||||||
|
wolframclient
|
||||||
|
wljs-notebook-bin
|
||||||
|
|
||||||
|
# --- SMT Solvers (keep if formal methods project needs them) ---
|
||||||
|
z3
|
||||||
|
yices
|
||||||
|
cvc5-bin
|
||||||
|
|
||||||
|
# --- Programming Languages (keep only if project-active) ---
|
||||||
|
zig
|
||||||
|
xtensa-elf-binutils
|
||||||
|
perl
|
||||||
|
|
||||||
|
# --- Newsletter / Publishing ---
|
||||||
|
substack-local-preview
|
||||||
|
|
||||||
|
# --- Document Conversion Extras ---
|
||||||
|
unoconv
|
||||||
|
pdf2htmlex
|
||||||
|
|
||||||
|
# --- Extra Pagers / Viewers ---
|
||||||
|
less # base usually has this; check if redundant
|
||||||
|
|
||||||
|
# --- Extra Development Libraries ---
|
||||||
|
glib2-devel
|
||||||
|
libvncserver
|
||||||
|
gtk-vnc
|
||||||
|
libxnvctrl-580xx
|
||||||
|
libiconv
|
||||||
|
libgsf
|
||||||
|
libopenraw
|
||||||
|
|
||||||
|
# --- Extra GStreamer / Media Backends ---
|
||||||
|
gst-libav
|
||||||
|
gst-plugin-pipewire
|
||||||
|
gst-plugin-va
|
||||||
|
gst-plugins-bad
|
||||||
|
gst-plugins-ugly
|
||||||
|
phonon-qt6-vlc
|
||||||
|
opus-tools
|
||||||
|
|
||||||
|
# --- Extra Init / Boot Tools ---
|
||||||
|
os-prober
|
||||||
|
|
||||||
|
# --- Extra Power Management ---
|
||||||
|
cpupower
|
||||||
|
powerdevil
|
||||||
|
power-profiles-daemon
|
||||||
|
upower
|
||||||
|
|
||||||
|
# --- Plymouth / Theme Extras ---
|
||||||
|
cachyos-themes-sddm
|
||||||
|
|
||||||
|
# --- Extra Disk / Partition Tools ---
|
||||||
|
partitionmanager
|
||||||
|
|
||||||
|
# --- Extra Audio Tools ---
|
||||||
|
pavucontrol # if plasma-pa covers this
|
||||||
|
|
||||||
|
# --- Extra Package Management ---
|
||||||
|
pacman-contrib # optional extras
|
||||||
|
|
||||||
|
# --- Fonts / CJK (noto-fonts-cjk is NEEDED; these may be extras) ---
|
||||||
|
# Review manually if you have additional font packages
|
||||||
Loading…
Add table
Reference in a new issue