Stage 8: developer profile with dprofile (0.6.0)

dprofile (das-helpers 0.2.0) installs profiles listed in
/usr/share/das/profiles: packages from the Void repository between a
snapper pre/post pair, their services and groups, subordinate IDs and a
shared root mount for rootless Podman, and optional IDEs from Flathub.
The installed system can't see the Das OS repository yet, so a das-dev
metapackage could not be installed there; Void packages always can.

The dev profile: Go, Python, Node.js, Git, Docker, Podman and command-line
tools everywhere, VS Code (code-oss), Meld and Flatpak on a desktop, with
Android Studio and JetBrains IDEs on demand. Questions come before sudo.

das-welcome (das-tools 0.4.0) gets a developer profile row that runs
dprofile in a terminal; das-server-install mentions it at the end.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

srcpkgs/das-server-installer/files/das-server-install

@@ -66,7 +66,7 @@ t() {
       s_config) echo "Налаштування системи..." ;;
       s_post) echo "Локалі, знімки, initramfs (кілька хвилин)..." ;;
       s_boot) echo "Встановлення завантажувача..." ;;
-      finished) echo "Das OS Server встановлено. Вийміть інсталяційний носій і перезавантажте сервер.\n\nВхід: %s, далі sudo. Служби: dsv. Користувачі: duser. Порти: dfw. Налаштування: dsys. Оновлення: das-update." ;;
+      finished) echo "Das OS Server встановлено. Вийміть інсталяційний носій і перезавантажте сервер.\n\nВхід: %s, далі sudo. Служби: dsv. Користувачі: duser. Порти: dfw. Налаштування: dsys. Оновлення: das-update. Профіль розробника: dprofile install dev." ;;
       reboot) echo "Перезавантажити зараз?" ;;
       failed) echo "Помилка встановлення. Журнал: %s" ;;
       root) echo "Інсталятор треба запускати від root (sudo das-server-install)." ;;
@@ -105,7 +105,7 @@ t() {
       s_config) echo "Configuring the system..." ;;
       s_post) echo "Locales, snapshots, initramfs (a few minutes)..." ;;
       s_boot) echo "Installing the boot loader..." ;;
-      finished) echo "Das OS Server is installed. Remove the installation medium and reboot.\n\nLog in as %s, then use sudo. Services: dsv. Users: duser. Ports: dfw. Settings: dsys. Updates: das-update." ;;
+      finished) echo "Das OS Server is installed. Remove the installation medium and reboot.\n\nLog in as %s, then use sudo. Services: dsv. Users: duser. Ports: dfw. Settings: dsys. Updates: das-update. Developer profile: dprofile install dev." ;;
       reboot) echo "Reboot now?" ;;
       failed) echo "Installation failed. Log: %s" ;;
       root) echo "The installer must run as root (sudo das-server-install)." ;;

srcpkgs/das-server-installer/template

@@ -1,6 +1,6 @@
 # Template file for 'das-server-installer'
 pkgname=das-server-installer
-version=0.2.0
+version=0.3.0
 revision=1
 depends="bash dialog das-install-common btrfs-progs dosfstools gptfdisk parted
  rsync util-linux grub grub-x86_64-efi efibootmgr"