From 03961b291bf85e04adfd57d7fe0c5081c376c9a0 Mon Sep 17 00:00:00 2001
From: despiegk <kristof@incubaid.com>
Date: Thu, 28 Aug 2025 20:42:59 +0200
Subject: [PATCH] ...

---
 examples/installers_remote/hero_compile.hero  | 10 +++++++
 examples/virt/hetzner/hetzner_example.hero    | 27 ++++++++++---------
 .../lang/herolib/{crystallib.v => herolib.v}  |  0
 3 files changed, 25 insertions(+), 12 deletions(-)
 create mode 100755 examples/installers_remote/hero_compile.hero
 rename lib/installers/lang/herolib/{crystallib.v => herolib.v} (100%)

diff --git a/examples/installers_remote/hero_compile.hero b/examples/installers_remote/hero_compile.hero
new file mode 100755
index 00000000..cb30172c
--- /dev/null
+++ b/examples/installers_remote/hero_compile.hero
@@ -0,0 +1,10 @@
+#!/usr/bin/env hero kristof2
+
+
+// Install Ubuntu 24.04 on a server
+!!hetznermanager.ubuntu_install
+    server_name: 'kristof2'
+    wait: true
+    hero_install: true            // Install Herolib on the new OS
+
+
diff --git a/examples/virt/hetzner/hetzner_example.hero b/examples/virt/hetzner/hetzner_example.hero
index cab8bd1a..f8a74950 100755
--- a/examples/virt/hetzner/hetzner_example.hero
+++ b/examples/virt/hetzner/hetzner_example.hero
@@ -1,4 +1,4 @@
-#!/usr/bin/env hero
+#!/usr/bin/env hero 
 
 
 // !!hetznermanager.configure
@@ -9,17 +9,11 @@
 // 	sshkey:"kristof"
 
 
-!!hetznermanager.server_rescue
-    server_name: 'kristof21'  // The name of the server to manage (or use `id`)
-    wait: true                     // Wait for the operation to complete
-    hero_install: true             // Automatically install Herolib in the rescue system
+// !!hetznermanager.server_rescue
+//     server_name: 'kristof21'  // The name of the server to manage (or use `id`)
+//     wait: true                     // Wait for the operation to complete
+//     hero_install: true             // Automatically install Herolib in the rescue system
 
-// # Install Ubuntu 24.04 on a server
-// !!hetznermanager.ubuntu_install
-//     instance: 'main'
-//     id: 1234567                   // The ID of the server (or use `server_name`)
-//     wait: true
-//     hero_install: true            // Install Herolib on the new OS
 
 // # Reset a server
 // !!hetznermanager.server_reset
@@ -31,4 +25,13 @@
 // !!hetznermanager.key_create
 //     instance: 'main'
 //     key_name: 'my-laptop-key'
-//     data: 'ssh-rsa AAAA...'
\ No newline at end of file
+//     data: 'ssh-rsa AAAA...'
+
+
+// Install Ubuntu 24.04 on a server
+!!hetznermanager.ubuntu_install
+    server_name: 'kristof2'
+    wait: true
+    hero_install: true            // Install Herolib on the new OS
+
+
diff --git a/lib/installers/lang/herolib/crystallib.v b/lib/installers/lang/herolib/herolib.v
similarity index 100%
rename from lib/installers/lang/herolib/crystallib.v
rename to lib/installers/lang/herolib/herolib.v