configs  Diff

Differences From Artifact [dd3b047b5a]:

To Artifact [6e5594dce2]:


261
262
263
264
265
266
267
268



269
270
271
272
273
274
275
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() {
		fossil artifact ${1-current} | gpg --verify
		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"