13 lines
215 B
Bash
13 lines
215 B
Bash
#!/usr/bin/env bash
|
|
|
|
echo "PATH=$PATH"
|
|
|
|
# Verify that the PATH is empty.
|
|
if mkdir foo 2> /dev/null; then exit 1; fi
|
|
|
|
# Set a PATH (!!! impure).
|
|
export PATH=$goodPath
|
|
mkdir "$out"
|
|
|
|
echo "Hello World!" > "$out"/hello
|