| 123456789101112131415161718 |
- #!/bin/bash -x
- #
- # Usage: helper-copy-and-exec-from-tmp.sh /path/to/binary [args]
- #
- # Copies the given binary into a unique file in /tmp and executes it with
- # [args]. Exits with the same return code as the binary did.
- executable="$1"
- shift
- target_name=$(mktemp)
- cp "$executable" "$target_name"
- chmod +x "$target_name"
- "$target_name" "$@"
- rc=$?
- rm "$target_name"
- exit $rc
|
