<html><head><style>body{font-family:Merriweather,Arial;font-size:13px}</style></head><body><div style="font-family:Merriweather,Arial;font-size:13px;color:rgba(51,51,51,1.0)">`port_cutleaves`? </div><div style="font-family:Merriweather,Arial;font-size:13px;color:rgba(51,51,51,1.0)"><br></div><div style="font-family:Merriweather,Arial;font-size:13px;color:rgba(51,51,51,1.0)">I think you need to install it. </div><div style="font-family:Merriweather,Arial;font-size:13px;color:rgba(51,51,51,1.0)"><br></div><div style="font-family:Merriweather,Arial;font-size:13px;color:rgba(51,51,51,1.0)">`port info port_cutleaves`</div> <br> <div class="gmail_signature"><pre><code> _
-. .´ |∞∞∞∞
', ; |∞∞∞∞∞∞
˜˜ |∞∞∞∞∞∞∞∞∞ RdB
,., |∞∞∞∞∞∞
.' '. |∞∞∞∞
-' `’
<a href="https://rdb.is">https://rdb.is</a>
</code></pre></div> <br><p class="airmail_on">On 3 December 2020 at 10:09:09, Michael (<a href="mailto:keybounce@gmail.com">keybounce@gmail.com</a>) wrote:</p> <blockquote type="cite" class="clean_bq"><span><div><div></div><div>What's the command to remove non-requested ports again?
<br>
<br></div></div></span></blockquote></body></html>