#!/bin/bash
value="$1"
if [ ! "$value" ]; then
echo "Usage: $0 VALUE" >&2
exit 3
fi
echo "$HOME/.$GSGP_ID/profiles/$GSGP_PROFILE/$value"