summarylogtreecommitdiffstats
path: root/aide-bin.sh
blob: 2a8df694364b46a405539dfbac3cb711cacecf8c (plain)
1
2
3
4
5
6
7
8
9
10
11
#!/bin/bash

XDG_CONFIG_HOME=${XDG_CONFIG_HOME:-~/.config}

# Allow users to override command-line options
if [[ -f $XDG_CONFIG_HOME/aide-flags.conf ]]; then
   CODE_USER_FLAGS="$(sed 's/#.*//' $XDG_CONFIG_HOME/aide-flags.conf | tr '\n' ' ')"
fi

# Launch
exec /opt/aide/bin/aide "$@" $CODE_USER_FLAGS