aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-07-01 15:11:51 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-07-01 15:11:51 +0200
commit43e55c10dd610a28aaeb5296a16b63587eb8f9c9 (patch)
tree0dbe133eed2545f5eb707760116b4c688bb41d00
parent1a53aeebc611fc2d3610a817c3a91e7b125c7221 (diff)
Do not use development database by default
-rwxr-xr-xshell/ftag_tag_all.sh13
1 files changed, 2 insertions, 11 deletions
diff --git a/shell/ftag_tag_all.sh b/shell/ftag_tag_all.sh
index 10a0ebc..501b38a 100755
--- a/shell/ftag_tag_all.sh
+++ b/shell/ftag_tag_all.sh
@@ -4,17 +4,8 @@
# are. Performing the same action in a more elegant and flexible way will be
# done in the future.
-database='./ftag_cache/ftag.sqlite3'
-ftag_bin='./ftag'
-
-# Use the development database by default, use the "real" one if any
-# command-line argument is given
-if [ $# -ge 1 ]
-then
- database="$HOME/.cache/ftag/ftag.sqlite3"
- ftag_bin='ftag'
-fi
-
+database="$HOME/.cache/ftag/ftag.sqlite3"
+ftag_bin='ftag'
files=$(sqlite3 -list "$database" 'SELECT canonical_name FROM files;')
echo "Available tags"