detached 93f3a7e

feat(verify): add shell configuration verification checks

commit
93f3a7e67c92ba13617d41f7617a04881af2c984
author
bnema · · 2025-10-21 17:01 UTC
parent
fcaa5d4
signature
unsigned
1 file · +25 -0
M install/post-install/verify.sh +25 -0
@@ -101,6 +101,31 @@ if arch-chroot /mnt ls /home 2>/dev/null | grep -q .; then
101101 USERNAME=$(arch-chroot /mnt ls /home 2>/dev/null | head -1)
102102 echo "[OK] User created: $USERNAME" >> "$ARCHUP_INSTALL_LOG_FILE"
103103 verify_dir "/home/$USERNAME" "User home directory"
104+
105+ # Verify shell configuration
106+ verify_dir "/home/$USERNAME/.local/share/archup/default/bash" "Shell config directory"
107+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/rc" "Shell rc file"
108+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/shell" "Shell config"
109+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/init" "Shell init"
110+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/aliases" "Shell aliases"
111+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/envs" "Shell envs"
112+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/functions" "Shell functions"
113+ verify_file "/home/$USERNAME/.bashrc" "User bashrc"
114+
115+ # Verify .bashrc sources archup defaults
116+ if grep -q "source ~/.local/share/archup/default/bash/rc" "/mnt/home/$USERNAME/.bashrc" 2>/dev/null; then
117+ echo "[OK] Bashrc sources archup defaults" >> "$ARCHUP_INSTALL_LOG_FILE"
118+ else
119+ echo "[ERROR] Bashrc does not source archup defaults" >> "$ARCHUP_INSTALL_LOG_FILE"
120+ VERIFICATION_FAILED=1
121+ fi
122+
123+ # Verify git delta configuration
124+ if arch-chroot /mnt su - "$USERNAME" -c "git config --global core.pager" 2>/dev/null | grep -q "delta"; then
125+ echo "[OK] Git delta configured" >> "$ARCHUP_INSTALL_LOG_FILE"
126+ else
127+ echo "[WARN] Git delta not configured (optional)" >> "$ARCHUP_INSTALL_LOG_FILE"
128+ fi
104129 else
105130 echo "[ERROR] No user account found" >> "$ARCHUP_INSTALL_LOG_FILE"
106131 VERIFICATION_FAILED=1
@@ -101,6 +101,31 @@ if arch-chroot /mnt ls /home 2>/dev/null | grep -q .; then
101 USERNAME=$(arch-chroot /mnt ls /home 2>/dev/null | head -1)101 USERNAME=$(arch-chroot /mnt ls /home 2>/dev/null | head -1)
102 echo "[OK] User created: $USERNAME" >> "$ARCHUP_INSTALL_LOG_FILE"102 echo "[OK] User created: $USERNAME" >> "$ARCHUP_INSTALL_LOG_FILE"
103 verify_dir "/home/$USERNAME" "User home directory"103 verify_dir "/home/$USERNAME" "User home directory"
104+
105+ # Verify shell configuration
106+ verify_dir "/home/$USERNAME/.local/share/archup/default/bash" "Shell config directory"
107+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/rc" "Shell rc file"
108+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/shell" "Shell config"
109+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/init" "Shell init"
110+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/aliases" "Shell aliases"
111+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/envs" "Shell envs"
112+ verify_file "/home/$USERNAME/.local/share/archup/default/bash/functions" "Shell functions"
113+ verify_file "/home/$USERNAME/.bashrc" "User bashrc"
114+
115+ # Verify .bashrc sources archup defaults
116+ if grep -q "source ~/.local/share/archup/default/bash/rc" "/mnt/home/$USERNAME/.bashrc" 2>/dev/null; then
117+ echo "[OK] Bashrc sources archup defaults" >> "$ARCHUP_INSTALL_LOG_FILE"
118+ else
119+ echo "[ERROR] Bashrc does not source archup defaults" >> "$ARCHUP_INSTALL_LOG_FILE"
120+ VERIFICATION_FAILED=1
121+ fi
122+
123+ # Verify git delta configuration
124+ if arch-chroot /mnt su - "$USERNAME" -c "git config --global core.pager" 2>/dev/null | grep -q "delta"; then
125+ echo "[OK] Git delta configured" >> "$ARCHUP_INSTALL_LOG_FILE"
126+ else
127+ echo "[WARN] Git delta not configured (optional)" >> "$ARCHUP_INSTALL_LOG_FILE"
128+ fi
104 else129 else
105 echo "[ERROR] No user account found" >> "$ARCHUP_INSTALL_LOG_FILE"130 echo "[ERROR] No user account found" >> "$ARCHUP_INSTALL_LOG_FILE"
106 VERIFICATION_FAILED=1131 VERIFICATION_FAILED=1

Keyboard shortcuts

Single-key shortcuts are on. ctrl k and esc work whatever this says.

ctrl k :
go to a section, branch, tag, file or repository
?
this list
j k
move the row cursor down / up
enter
open the row under the cursor; on Files, a directory opens or closes in place
↑ ↓ ← → home end
in the file tree (focus on a row): previous / next row, close / open a directory or go to its parent / first entry, first / last row. They never open a file
l h
on Files: open a directory or a file / close a directory or go up to its parent, then to the parent page. Elsewhere: into the side panel (on a merge request, its files) / back to the content; there j k move between its controls
g g G
first / last row
/
filter the list; on Files, find a file anywhere in the repository (esc clears, enter opens the best match)
b
switch branch or tag
g s g f g c g b g m g i g r g a
tabs: summary, files, commits, branches & tags, merge requests, issues, releases, actions (when available)
g h
home
w
wide mode: use the whole width of the screen, or not (remembered)
y
copy a permalink pinned to the commit
d u x
diff: split / unified / collapse or expand all
e E
diff: the whole file in view / every file, with the lines the hunks hide
n
merge request: next note in the diff
esc
close a dialog, leave a field

Branches 1

Tags 0

    ↑↓ moveenter openesc close