We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Describe the bug
If a script launches an exported program and tracks the PID with $! , this PID belongs to sh executing the export script and not the real program.
$!
To Reproduce
#!/bin/bash ~/.local/bin/php & PID="$!" kill $PID
The sh script is killed but /usr/bin/php continues to run in the distrobox container.
Expected behavior
Either the script passing on the real PID or killing the script also killing the process within the container.
Desktop (please complete the following information):
The text was updated successfully, but these errors were encountered:
Closing this in favor of #966
Sorry, something went wrong.
No branches or pull requests
Describe the bug
If a script launches an exported program and tracks the PID with
$!
, this PID belongs to sh executing the export script and not the real program.To Reproduce
The sh script is killed but /usr/bin/php continues to run in the distrobox container.
Expected behavior
Either the script passing on the real PID or killing the script also killing the process within the container.
Desktop (please complete the following information):
The text was updated successfully, but these errors were encountered: