bash
----

.. highlight:: dune

.. describe:: (bash <cmd>)

   Execute a command using ``/bin/bash``. This is obviously not very portable.

   Example::

   (bash "echo $PATH")
