public-inbox.git  about / heads / tags
an "archives first" approach to mailing lists
blob acaed61029dffe37be7712592771d5bac17d3438 892 bytes (raw)
$ git show v1.4.0:scripts/edit-sa-prefs	# shows this blob on the CLI

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
 
#!/bin/sh
# Copyright (C) 2014, Eric Wong <e@80x24.org>
# License: GPLv3 or later <http://www.gnu.org/licenses/gpl-3.0.txt>
# edit and atomically update ~/.spamasassin/user_prefs safely
set -e
cd ~/.spamassassin
cp user_prefs user_prefs.edit.$$ # don't care if we clobber old files

# non-blocking lock
if ! ln user_prefs.edit.$$ user_prefs.edit
then
	rm user_prefs.edit.$$
	echo >&2 "we are already editing user_prefs.edit"
	exit 1
fi

rm user_prefs.edit.$$

${VISUAL-vi} user_prefs.edit

if diff -u user_prefs user_prefs.edit
then
	rm -f user_prefs.edit
	echo 'no changes'
	exit 0
fi

# check until we're good or $EDITOR fails
while ! spamassassin -p user_prefs.edit --lint
do
	echo >&2 "respawning editor, press Enter to continue"
	read ignored_var
	${VISUAL-vi} user_prefs.edit
done

# atomically replace user_prefs
mv user_prefs.edit user_prefs
echo '~/.spamassassin/user_prefs updated'

git clone https://public-inbox.org/public-inbox.git
git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git