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 /hostinfo | |
parent | 08669ad15cc35be6cb6d022460e90d2dbc635f3b (diff) |
remove need for hostinfo and .host
Diffstat (limited to 'hostinfo')
-rwxr-xr-x | hostinfo | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/hostinfo b/hostinfo deleted file mode 100755 index ff1c433..0000000 --- a/hostinfo +++ /dev/null @@ -1,5 +0,0 @@ -echo host: `uname -m` `uname -s` `uname -r` -fil=/tmp/hostinfo$$ -gcc -v 2> $fil -tail -1 $fil -rm $fil |