Skip to content

Commit 6cdfeab

Browse files
authored
BM-199: Improve the setup script (github#38)
πŸ› ubuntu-driver install do not require a `-y` πŸŽ‰ scope to ubuntu 20.04 or 22.04 πŸŽ‰ ensure that docker is enabled and started on install πŸ“š update docs to reflect that 22.04 LTS is the main supported version
1 parent 74b42a2 commit 6cdfeab

File tree

2 files changed

+14
-4
lines changed

2 files changed

+14
-4
lines changed

β€Ždocs/src/prover-manual/bento/running_bento.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ TODO: Write more here about how to do multi-host services like gpu-agent / exec-
2828

2929
At this time Ubuntu is the only supported Operating system. Other operating systems _should_ work, but driver support (host Nvidia drivers matching container drivers etc.), compile dependencies, and testing fall to the user to complete.
3030

31-
For a quick set up of boundless host dependencies on Ubuntu, please run:
31+
For a quick set up of boundless host dependencies on Ubuntu 22.04 LTS, please run:
3232

3333
```bash
3434
scripts/setup.sh

β€Žscripts/setup.sh

Lines changed: 13 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -61,6 +61,9 @@ check_os() {
6161
if [[ "${ID,,}" != "ubuntu" ]]; then
6262
error "Unsupported operating system: $NAME. This script is intended for Ubuntu."
6363
exit 1
64+
elif [[ "${VERSION_ID,,}" != "22.04" && "${VERSION_ID,,}" != "20.04" ]]; then
65+
error "Unsupported operating system verion: $VERSION. This script is intended for Ubuntu 20.04 or 22.04."
66+
exit 1
6467
else
6568
info "Operating System: $PRETTY_NAME"
6669
fi
@@ -104,7 +107,7 @@ install_packages() {
104107
install_gpu_drivers() {
105108
info "Detecting and installing appropriate GPU drivers..."
106109
{
107-
ubuntu-drivers install -y
110+
ubuntu-drivers install
108111
} >> "$LOG_FILE" 2>&1
109112
success "GPU drivers installed successfully."
110113
}
@@ -164,8 +167,15 @@ install_docker() {
164167

165168
# Install Docker Engine, CLI, and Containerd
166169
apt install -y docker-ce docker-ce-cli containerd.io
170+
171+
# Enable Docker
172+
systemctl enable docker
173+
174+
# Start Docker Service
175+
systemctl start docker
176+
167177
} >> "$LOG_FILE" 2>&1
168-
success "Docker installed successfully."
178+
success "Docker installed and started successfully."
169179
fi
170180
}
171181

@@ -242,7 +252,7 @@ EOF
242252
verify_docker_nvidia() {
243253
info "Verifying Docker and NVIDIA setup..."
244254

245-
if docker run --rm --gpus all nvidia/cuda:11.0-base nvidia-smi >> "$LOG_FILE" 2>&1; then
255+
if docker run --rm --gpus all nvidia/cuda:12.2.0-devel-ubuntu22.04 nvidia-smi >> "$LOG_FILE" 2>&1; then
246256
success "Docker with NVIDIA support is working correctly."
247257
else
248258
error "Docker with NVIDIA support verification failed."

0 commit comments

Comments
Β (0)