configs  Diff

Differences From Artifact [dd3b047b5a]:

To Artifact [6e5594dce2]:


261
262
263
264
265
266
267
268


269
270
271
272
273
274
275
			grep -H "$@" "$file" && ret=0
			[ $? -gt 1 ] && return $?
		done
		return $ret
	}

	flveri() {
		fossil artifact ${1-current} | gpg --verify


	}

	git2fl() {
		local gitdir=$(git rev-parse --show-toplevel)/.git
		local repo=$(fossil info | awk '/^repository:/ { print $2 }')

		[ -z "$repo" ] && repo="$1"







|
>
>







261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
			grep -H "$@" "$file" && ret=0
			[ $? -gt 1 ] && return $?
		done
		return $ret
	}

	flveri() {
		rev="${1-current}"
		echo -e "\033[1m$rev\033[0m"
		fossil artifact "$rev" | gpg --verify
	}

	git2fl() {
		local gitdir=$(git rev-parse --show-toplevel)/.git
		local repo=$(fossil info | awk '/^repository:/ { print $2 }')

		[ -z "$repo" ] && repo="$1"