💾 Archived View for freeshell.de › tldr › exec.gmi captured on 2023-03-20 at 19:37:55. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-28)
-=-=-=-=-=-=-
Replace the current process with another process.
exec {command -with -flags}
exec -c {command -with -flags}
exec -l {command -with -flags}
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).