1 # This is a default template for a post-install scriptlet. You can
2 # remove any functions you don't need (and this header).
4 # arg 1: the new package version
9 # arg 1: the new package version
11 # Stop sat (salut a toi)
12 pkill -f "twistd.*sat/sat.tac"
14 ln -s /usr/bin/sat /usr/lib/python2.7/site-packages/sat/sat.sh
17 # arg 1: the new package version
18 # arg 2: the old package version
23 # arg 1: the new package version
24 # arg 2: the old package version
26 pkill -f "twistd.*sat/sat.tac"
30 # arg 1: the old package version
32 # Stop sat (salut a toi)
33 pkill -f "twistd.*sat/sat.tac"
37 # arg 1: the old package version