swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

update offline tool; fix dune-workspace

Browse source
This commit is contained in:
swrup 2026-03-21 03:30:15 +01:00 • committed by Swrup
parent df02bf0f48
commit 9c9414e96b
11 changed files with 78 additions and 126 deletions
Download patch file Download diff file Expand all files Collapse all files

44
eddsa_sed.sh
View file

@ -1,27 +1,29 @@
#!/bin/bash
set -e
sed "s/EddsaPrivateKey\.t /Eddsa\.priv /g" -i src/*
sed "s/EddsaPrivateKey\.t;/Eddsa\.priv;/g" -i src/*
sed "s/EddsaPublicKey\.t /Eddsa\.pub /g" -i src/*
sed "s/EddsaPublicKey\.t;/Eddsa\.pub;/g" -i src/*
sed "s/EddsaSignature\.t /Eddsa\.sig_ /g" -i src/*
sed "s/EddsaSignature\.t;/Eddsa\.sig_;/g" -i src/*
sed "s/EddsaPublicKey\.t)/Eddsa\.pub)/g" -i src/*
file="tools/*"
sed "s/EddsaPrivateKey\.of_octets /Eddsa\.priv_of_octets /g" -i src/*
sed "s/EddsaPrivateKey\.to_octets /Eddsa\.priv_to_octets /g" -i src/*
sed "s/EddsaPrivateKey\.pub_of_priv /Eddsa\.pub_of_priv /g" -i src/*
sed "s/EddsaPrivateKey\.generate /Eddsa\.generate /g" -i src/*
sed "s/EddsaPrivateKey\.bin /Eddsa\.priv_bin /g" -i src/*
sed "s/EddsaPrivateKey\.t /Eddsa\.priv /g" -i $file
sed "s/EddsaPrivateKey\.t;/Eddsa\.priv;/g" -i $file
sed "s/EddsaPublicKey\.t /Eddsa\.pub /g" -i $file
sed "s/EddsaPublicKey\.t;/Eddsa\.pub;/g" -i $file
sed "s/EddsaSignature\.t /Eddsa\.sig_ /g" -i $file
sed "s/EddsaSignature\.t;/Eddsa\.sig_;/g" -i $file
sed "s/EddsaPublicKey\.t)/Eddsa\.pub)/g" -i $file
sed "s/EddsaPublicKey\.to_b32 /Eddsa\.pub_to_b32 /g" -i src/*
sed "s/EddsaPublicKey\.of_b32 /Eddsa\.pub_of_b32 /g" -i src/*
sed "s/EddsaSignature\.sign /Eddsa\.sign /g" -i src/*
sed "s/EddsaPrivateKey\.of_octets /Eddsa\.priv_of_octets /g" -i $file
sed "s/EddsaPrivateKey\.to_octets /Eddsa\.priv_to_octets /g" -i $file
sed "s/EddsaPrivateKey\.pub_of_priv /Eddsa\.pub_of_priv /g" -i $file
sed "s/EddsaPrivateKey\.generate /Eddsa\.generate /g" -i $file
sed "s/EddsaPrivateKey\.bin /Eddsa\.priv_bin /g" -i $file
sed "s/EddsaPrivateKey\.jsont/Eddsa\.priv_jsont/g" -i src/*
sed "s/EddsaPublicKey\.jsont/Eddsa\.pub_jsont/g" -i src/*
sed "s/EddsaSignature\.jsont/Eddsa\.sig_jsont/g" -i src/*
sed "s/EddsaPrivateKey\.caqti/Eddsa\.priv_caqti/g" -i src/*
sed "s/EddsaPublicKey\.caqti/Eddsa\.pub_caqti/g" -i src/*
sed "s/EddsaSignature\.caqti/Eddsa\.sig_caqti/g" -i src/*
sed "s/EddsaPublicKey\.to_b32 /Eddsa\.pub_to_b32 /g" -i $file
sed "s/EddsaPublicKey\.of_b32 /Eddsa\.pub_of_b32 /g" -i $file
sed "s/EddsaSignature\.sign /Eddsa\.sign /g" -i $file
sed "s/EddsaPrivateKey\.jsont/Eddsa\.priv_jsont/g" -i $file
sed "s/EddsaPublicKey\.jsont/Eddsa\.pub_jsont/g" -i $file
sed "s/EddsaSignature\.jsont/Eddsa\.sig_jsont/g" -i $file
sed "s/EddsaPrivateKey\.caqti/Eddsa\.priv_caqti/g" -i $file
sed "s/EddsaPublicKey\.caqti/Eddsa\.pub_caqti/g" -i $file
sed "s/EddsaSignature\.caqti/Eddsa\.sig_caqti/g" -i $file