diff options
author | Jakob Kaivo <jkk@ung.org> | 2022-03-27 21:40:00 -0400 |
---|---|---|
committer | Jakob Kaivo <jkk@ung.org> | 2022-03-27 21:40:00 -0400 |
commit | b1eb46e70bfa0b159c25f26f00a589d4545beba0 (patch) | |
tree | d8ab62c2554a3dfa336846bba0c3196f4eaa7a38 /quotehostinfo | |
parent | 08669ad15cc35be6cb6d022460e90d2dbc635f3b (diff) |
remove need for hostinfo and .host
Diffstat (limited to 'quotehostinfo')
-rwxr-xr-x | quotehostinfo | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/quotehostinfo b/quotehostinfo index cd060ec..c014e28 100755 --- a/quotehostinfo +++ b/quotehostinfo @@ -1,7 +1,10 @@ -#!/bin/bash +#!/bin/sh fil=/tmp/quotehostinfo$$ -echo compiled: `date` > $fil +echo compiled: $(date) > $fil make -s tellcc >> $fil -cat .host >> $fil -echo \"`cat $fil | sed 's/.*/&\\\\n/'`\" | sed 's/\\n /\\n/g' + +echo host: $(uname -m) $(uname -s) $(uname -r) >> $fil +gcc -v 2>&1 | tail -1 >> $fil + +echo \"$(cat $fil | sed 's/.*/&\\\\n/')\" | sed 's/\\n /\\n/g' rm $fil |