<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<div style="">
<p dir="auto">Just noticed this, too:</p>
<pre class="code highlight js-syntax-highlight plaintext" lang="plaintext" v-pre="true"><code><span id="LC1" class="line" lang="plaintext">$ /usr/gnu/bin/grep -IR 'netstat' gnutls-3.6.8</span>
<span id="LC2" class="line" lang="plaintext">...</span>
<span id="LC3" class="line" lang="plaintext">gnutls-3.6.8/tests/scripts/common.sh: for file in $(which netstat 2> /dev/null) /bin/netstat /usr/bin/netstat /usr/local/bin/netstat;do</span>
<span id="LC4" class="line" lang="plaintext">...</span></code></pre>
<p dir="auto"><code>$(command -v netstat)</code> is probably a better choice than which. <code>command -v</code> is Posix with well defined behavior. <code>which</code> can produce unusual results, depending on paths, aliases and several other factors. Also see <a href="https://stackoverflow.com/q/592620/608639" rel="nofollow noreferrer noopener" target="_blank">How to check if a program exists from a Bash script?</a></p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #777;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/issues/785#note_179148311">view it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
<a href="https://gitlab.com/sent_notifications/cf5afc127da1466fbd3698a37d32e2af/unsubscribe">unsubscribe</a>
from this thread or
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Issue","url":"https://gitlab.com/gnutls/gnutls/issues/785#note_179148311"}}</script>
</p>
</div>
</body>
</html>