File

tools/mod2spec.sh @ 13566:2fb4ce131131

mod_roster: do not store number in attribute Attributes are strings. That definitely is a number. So we tostring() it. This is important when the API becomes stricter, for whatever reason that might happen. Practically, this moves the overhead of converting to a string to a place where it is visible.
author Jonas Schäfer <jonas@wielicki.name>
date Sat, 16 Nov 2024 09:12:11 +0100
parent 13255:df96af198222
line wrap: on
line source

#!/bin/bash
set -eu

echo "spec/${1//./_}_spec.lua"