get_title() { FILE="$1" pup -p -f "$FILE" 'title text{}' | \ tr -d \\n | \ sed 's/ ([^)]*GNU[^)]*)$//' | \ sed 's/\"/\"\"/g' }