💾 Archived View for freeshell.de › tldr › exec.gmi captured on 2023-11-14 at 09:09:47. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2022-04-28)

-=-=-=-=-=-=-

exec

Replace the current process with another process.

More information.

• Replace with the specified command using the current environment variables:

exec {command -with -flags}

• Replace with the specified command, clearing environment variables:

exec -c {command -with -flags}

• Replace with the specified command and login using the default shell:

exec -l {command -with -flags}

• Replace with the specified command and change the process name:

exec -a {process_name} {command -with -flags}

Copyright © 2014—present the tldr-pages team and contributors.

This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

CC-BY