view push-prod.sh @ 2:e32e4120dc70

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 11 Jul 2025 21:23:39 -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