# HG changeset patch # User HackEso # Date 1563301892 0 # Node ID 247e90ca5c98ad0f4baf4e747a73dd0078841252 # Parent cc933fc31298ae5fe27292f6c6b36ffc5ebc30b2 `` set -e; c=bin/bonvenon; /bin/sed \'s/ome.nb\\>/ome.eo/g\' bin/velkommen >$c; chmod -v a+x "$c" diff -r cc933fc31298 -r 247e90ca5c98 bin/bonvenon --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/bonvenon Tue Jul 16 18:31:32 2019 +0000 @@ -0,0 +1,2 @@ +#!/usr/bin/perl -w +if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.eo"; } else { exec "bin/?", "welcome.eo"; }