Error on unknown options · df7b25c2db - little-things - Gitea: Git with a cup of tea

Parcourir la source

Error on unknown options

master

JustAnotherArchivist il y a 2 ans

Parent

4bd4f5a30c

révision

df7b25c2db

1 fichiers modifiés avec 6 ajouts et 0 suppressions

Vue séparée

							
								+ 6
								
								- 0
							
wpull2-requeueVoir le fichier
								
			@@ -48,6 +48,12 @@ then
		
				shift
		
			fi
		
			if [[ "$1" == --* ]]
		
			then
		
				echo "Error: Unknown option $1" >&2
		
				exit 1
		
			fi
		
			if [[ "${where}" ]]
		
			then
		
				where="$1"