diff options
author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-02-04 13:11:13 -0300 |
---|---|---|
committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-02-04 13:11:13 -0300 |
commit | 8aae92a56d577749d8ff73179ad5186ee7cba34b (patch) | |
tree | eb610692eac083d5cd8c28681908bc7e776515bf | |
parent | d9e8d78e09bed97b77bf05626ff91ec77a8f1f3a (diff) |
Tool to quickly know if a package is unfree
-rwxr-xr-x | is_unfree | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/is_unfree b/is_unfree new file mode 100755 index 0000000..f32c193 --- /dev/null +++ b/is_unfree @@ -0,0 +1,11 @@ +#!/bin/bash +# Checks if a package is on blacklist + +# fail immediately on error +set -E + +blacklist="$XDG_CONFIG_HOME/libretools/blacklist.txt" + +egrep -q "^${1}:" "${blacklist}" + +exit $? |