changeset 55:5bdd4bc11123

add push
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 17 Aug 2025 18:12:42 +0900
parents 16e5c14eb800
children 5bbb89d75199
files push.sh src/init.luan src/private/Config_sample.luan
diffstat 3 files changed, 17 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/push.sh	Sun Aug 17 18:12:42 2025 +0900
@@ -0,0 +1,6 @@
+#!/bin/bash
+set -e
+
+PASSWORD=$(luan 'string:require("luan:Io.luan").stdout.write(require("file:src/private/Config.luan").push_password)')
+
+luan luan:host/push.luan lang.reactionary.software $PASSWORD src 2>&1 | tee err
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/init.luan	Sun Aug 17 18:12:42 2025 +0900
@@ -0,0 +1,10 @@
+local Hosted = require "luan:host/Hosted.luan"
+local Logging = require "luan:logging/Logging.luan"
+local logger = Logging.logger "init"
+
+
+Hosted.set_https and Hosted.set_https(true)
+
+logger.error "init"
+
+return true
--- a/src/private/Config_sample.luan	Sun Aug 17 17:47:02 2025 +0900
+++ b/src/private/Config_sample.luan	Sun Aug 17 18:12:42 2025 +0900
@@ -11,4 +11,5 @@
 	chatgpt = {
 		key = "sk-xxx"
 	}
+	push_password = "xxx"
 }