#!/bin/bash function path_to_name { PROGRAMPATH=$1 echo ${PROGRAMPATH//\_/\ } } if [ "$1" = '' ] then rep='.' else rep="$1" fi for directory in $(find "$rep" -name programme -type d); do cat > programme_options.tex <