examples: improve introductory comments

This commit is contained in:
Erik Arvstedt 2021-02-01 22:53:06 +01:00
parent af2040f4c4
commit 13fc9dfabf
No known key found for this signature in database
GPG Key ID: 33312B944DD97846
3 changed files with 6 additions and 6 deletions

View File

@ -5,8 +5,8 @@ set -euo pipefail
# Running this script leaves no traces on your host system. # Running this script leaves no traces on your host system.
# This demo is a template for your own experiments. # This demo is a template for your own experiments.
# Feel free to modify or to run nix-shell and execute individual statements of this # Run with option `--interactive` or `-i` to start a shell for interacting with
# script in the interactive shell. # the node.
if [[ ! -v IN_NIX_SHELL ]]; then if [[ ! -v IN_NIX_SHELL ]]; then
echo "Running script in nix shell env..." echo "Running script in nix shell env..."

View File

@ -5,8 +5,8 @@ set -euo pipefail
# Running this script leaves no traces on your host system. # Running this script leaves no traces on your host system.
# This demo is a template for your own experiments. # This demo is a template for your own experiments.
# Feel free to modify or to run nix-shell and execute individual statements of this # Run with option `--interactive` or `-i` to start a shell for interacting with
# script in the interactive shell. # the node.
if [[ ! -v IN_NIX_SHELL ]]; then if [[ ! -v IN_NIX_SHELL ]]; then
echo "Running script in nix shell env..." echo "Running script in nix shell env..."

View File

@ -5,8 +5,8 @@ set -euo pipefail
# Running this script leaves no traces on your host system. # Running this script leaves no traces on your host system.
# This demo is a template for your own experiments. # This demo is a template for your own experiments.
# Feel free to modify or to run nix-shell and execute individual statements of this # Run with option `--interactive` or `-i` to start a shell for interacting with
# script in the interactive shell. # the node.
# MAKE SURE TO REPLACE the SSH identity file if you use this script for # MAKE SURE TO REPLACE the SSH identity file if you use this script for
# anything serious. # anything serious.