Common problems

Find the message or problem, then the fix. If nothing fits, collect diagnostics and report it.

In short
  • Start with hallvi status. It shows whether the service and the Pi worker are running.
  • If Hallvi looks stuck, look for Waiting for you. Approvals and cards wait with no time limit.
  • If your laptop cannot open Hallvi on another computer, open the SSH connection first.

Installing

ProblemFix
Supported releases target Apple-silicon macOS and Ubuntu 24.04 x64Use one of those two. Other systems have no release yet.
Run as your ordinary user, without sudoRun the command again without sudo.
The archive or manifest does not match the signed releaseThe installer installed nothing. Run the command again. If it repeats, report it.
The release list could not be reachedCheck that the computer can reach github.com and api.github.com.
On Linux, it cannot reach the user service managerRun it from a normal login of that user, not through sudo or su.
Hallvi did not become readyRead hallvi logs for the reason.
hallvi: command not foundUse ~/.local/bin/hallvi.
On Linux, Hallvi stops at logoutRun the sudo loginctl enable-linger command that hallvi status prints.

Opening Hallvi

ProblemFix
The browser cannot open itRun hallvi status. If it is stopped, run hallvi start. If the interface is down, read hallvi logs.
Your laptop cannot open a Hallvi on another computerOpen the SSH connection first. See Use Hallvi from another computer.
No worker is runningRun hallvi restart. Hallvi keeps your typed text.

Accounts and servers

ProblemFix
ChatGPT authentication is missing or expiredReconnect on the ChatGPT & model page in Settings.
The model reports a usage or rate limitYour ChatGPT plan's allowance is used up. Wait, then retry.
Hallvi could not open your repositoryFor a private one, press Connect GitHub and install the GitHub App on it. Also check the address.
Signed in to GitHub, but the repository is not readablePress Choose repositories on GitHub, add it, then press Check again.
Connect GitHub in Settings → GitHub so Hallvi can watch this branchConnect GitHub, even for a public repository, then try again.
GitHub has no branch that this login can readCheck the branch name and the GitHub App's access.
Your GitHub login has expiredSign in again on the GitHub page in Settings.
Hetzner could not be reached from this computerCheck this computer's network, then try again.
This token can read, but not make changesMake a new Hetzner token with Read & Write.
Hetzner does not know this tokenPaste the whole token, or make a new one.
Nothing answered at that addressCheck the address, the SSH port and the server's firewall.
A different machine answered at that addressCheck the address, and run the command on the right server.
It refused Hallvi's keyRun the card's command as the user in the pasted line, then check again.
sudo asks for a passwordUse root, or allow sudo without a password.
Hallvi cannot run on this system yetThe server needs 64-bit Linux on x86_64 or arm64.
Pi can't use its workspace until Docker is runningStart Docker, or choose On this computer on the Workspace page in Settings.

Work in progress

ProblemFix
This conversation was interruptedPress Continue or Stop. See After an interruption.
Hallvi seems stuckLook for Waiting for you. Approvals and cards wait with no time limit.
A command did not finish, or SSH failedCheck that the server is running, then press Ask what went wrong.
The turn ended before it finishedPress Try again.
Hallvi is installing an updateWait until it restarts, then send again.
Pi has not stopped yetA command may still be finishing. Press Stop again in a moment.

Your application

ProblemFix
The private link does not openUse Reconnect on the Access page after restoring any laptop-to-Hallvi SSH connection. See Reopen a private link.
The public address does not answerSee what the Access page last tested, and ask Hallvi to check. New DNS names can take a while.
A deployment failedSee When a deployment fails.
An update did not go throughSee If an update does not go through.