[sage] BSD printf

[Kurt Jaeger]

Hi!

> aber leider nicht für BSD, hier FreeBSD:
> 
> -->
> 00000000: 7831 3678 3033 7830 3178 3032 7830 3078  x16x03x01x02x00x
> 00000010: 3031 7830 3078 3031 7866 6378 3033       01x00x01xfcx03
> 
> Frage: geht das mit dem FreeBSD printf überhaupt? Solaris sollte
> ein ähnliches, externes printf haben IIRC.

Aus den Ports, sysutils/coreutils, dort gprintf, kann das.

Du verwendest \xHH, und das ist nicht Teil von FreeBSD printf.

Waere evt. keine schlechte Idee, das hinzuzufuegen,
aber nachdem eine andere Ergaenzung schon laenger (seit 2014) in der
Queue haengt:

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=194466

wird das wohl schwierig.

-- 
pi at opsec.eu            +49 171 3101372                    2 years to go !