From e09e225888a641305787cfe6fcc5377757799d0d Mon Sep 17 00:00:00 2001
From: philippe lhardy <plhardy@localhost.localdomain>
Date: Tue, 29 Jul 2025 14:04:25 +0200
Subject: [PATCH] patch_config php tool

---
 nextcloud_devenv/patch_config.php | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 nextcloud_devenv/patch_config.php

diff --git a/nextcloud_devenv/patch_config.php b/nextcloud_devenv/patch_config.php
new file mode 100644
index 0000000..1445146
--- /dev/null
+++ b/nextcloud_devenv/patch_config.php
@@ -0,0 +1,7 @@
+<?php
+include 'config.php';
+$host_port=$argv[1];
+$CONFIG['overwrite.cli.url'] = 'http://' . $host_port ;
+$CONFIG['trusted_domains'] = [$host_port];
+print("<?php\n");
+print( '$CONFIG='.var_export($CONFIG,true).';');