diff bin/check-ports @ 49:ffa6a61e77e8

FIX: Wrong redirection: intended was output to stderr but instead we did read
author Franz Glasner <hg@dom66.de>
date Thu, 23 Nov 2017 09:12:33 +0100
parents dfcbe14615b0
children f4352f7b5c86
line wrap: on
line diff
--- a/bin/check-ports	Wed Nov 22 21:32:47 2017 +0100
+++ b/bin/check-ports	Thu Nov 23 09:12:33 2017 +0100
@@ -201,7 +201,7 @@
 		    _print_detail=1
 		    ;;
 		*)
-		    echo "ERROR: unhandled repository: ${repository}" <&2
+		    echo "ERROR: unhandled repository: ${repository}" >&2
 		    exit 1
 		    ;;
 	    esac