From a3b05ad049551a07bfb8e7427a1d63f068db7566 Mon Sep 17 00:00:00 2001
From: Mike Matera <michael.matera@cabrillo.edu>
Date: Thu, 10 Oct 2024 10:43:28 -0700
Subject: [PATCH] Unminimze the devcontainer so manuals are availble.

---
 .devcontainer/Dockerfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 986f8be..fa82c03 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -12,6 +12,10 @@ RUN apt update -y && apt install -y tzdata \
     && echo "America/Los_Angeles" > /etc/timezone \
     && ln -fs /usr/share/zoneinfo/America/Los_Angeles /etc/localtime
 
+# Un-minimize the system so we have manual pages, etc.
+RUN yes | unminimize && \
+    apt install -y man
+
 # Install ROS2 Humble
 RUN apt install -y software-properties-common \
     && add-apt-repository universe \