<div dir="auto">Thanks.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 7, 2020, 5:57 AM Michael Paoli <<a href="mailto:Michael.Paoli@cal.berkeley.edu">Michael.Paoli@cal.berkeley.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> From: "Elise Scher" <<a href="mailto:elise.scher01@gmail.com" target="_blank" rel="noreferrer">elise.scher01@gmail.com</a>><br>
> Subject: Re: [conspire] [ONLIST] DNS_CK - appreciate a look-see<br>
> Date: Thu, 7 May 2020 04:18:09 -0700<br>
<br>
> Python?<br>
><br>
> On Thu, May 7, 2020, 2:28 AM Michael Paoli <<a href="mailto:Michael.Paoli@cal.berkeley.edu" target="_blank" rel="noreferrer">Michael.Paoli@cal.berkeley.edu</a>><br>
> wrote:<br>
><br>
>> <a href="http://www.mpaoli.net/~michael/bin/DNS_CK" rel="noreferrer noreferrer" target="_blank">http://www.mpaoli.net/~michael/bin/DNS_CK</a><br>
<br>
Shell:<br>
$ head -n 1 DNS_CK<br>
#!/bin/sh<br>
$<br>
<a href="https://en.wikipedia.org/wiki/Shebang_(Unix)" rel="noreferrer noreferrer" target="_blank">https://en.wikipedia.org/wiki/Shebang_(Unix)</a><br>
$ man sh | col -b | expand | sed -e '/^[ \t]*$/d' | head -n 3<br>
DASH(1)                   BSD General Commands Manual                  DASH(1)<br>
NAME<br>
      dash -- command interpreter (shell)<br>
$<br>
In the land of Unix/Linux/BSD(/...?)<br>
/bin/sh<br>
generally gives a Bourne or POSIX(-like) shell, or shell in<br>
POSIX(-like) mode.<br>
dash is essentially a minimal POSIX compliant shell.<br>
$ type dash bash<br>
dash is hashed (/bin/dash)<br>
bash is /bin/bash<br>
$ ls -l /bin/[bd]ash<br>
-rwxr-xr-x 1 root root 1099016 May 15  2017 /bin/bash<br>
-rwxr-xr-x 1 root root  117208 Jan 23  2017 /bin/dash<br>
$ man sh | col -b | expand | sed -ne '/^HISTORY/,/^$/{/^$/q;p}'<br>
HISTORY<br>
      dash is a POSIX-compliant implementation of /bin/sh that aims to be as<br>
      small as possible.  dash is a direct descendant of the NetBSD version of<br>
      ash (the Almquist SHell), ported to Linux in early 1997.  It was renamed<br>
      to dash in 2002.<br>
$ ls -l /bin/sh<br>
lrwxrwxrwx 1 root root 4 Jan 23  2017 /bin/sh -> dash<br>
$<br>
<br>
</blockquote></div>