view push-prod.sh @ 3:b016e4b7c8da default tip

add read_me
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 12 Jul 2025 12:51:36 -0600
parents 8f4df159f06b
children
line wrap: on
line source

#!/bin/bash
set -e

hg identify >src/private/rev.txt

PASSWORD=$(luan 'string:require("luan:Io.luan").stdout.write(require("file:src/private/Config.luan").push_password)')

luan luan:host/push.luan linkmy.style $PASSWORD src 2>&1 | tee err