#!/bin/bash
set -eu
file=$1
rel=${file#$HOME}
if [ "$rel" = "$file" ]; then
	:
elif [ "$rel" = "" ]; then
	rel=.
else
	rel=${rel#/}
fi
printf "%s\n" "$rel"