1
#! /bin/sh /usr/share/dpatch/dpatch-run
2
## 02_use_cli_for_wrapper.dpatch by Christopher James Halse Rogers <raof@ubuntu.com>
4
## All lines beginning with `## DP:' are a description of the patch.
5
## DP: Use /usr/bin/cli for the wrapper script instead of calling mono
7
## DP: For cli policy conformance.
10
diff -urNad gnome-do-0.8.3.1+dfsg~/Do/gnome-do.in gnome-do-0.8.3.1+dfsg/Do/gnome-do.in
11
--- gnome-do-0.8.3.1+dfsg~/Do/gnome-do.in 2009-12-08 16:21:50.000000000 +1100
12
+++ gnome-do-0.8.3.1+dfsg/Do/gnome-do.in 2009-12-09 12:01:25.200827672 +1100
15
# If Do is not running, run it.
16
if pgrep -u "`id -u`" '^gnome-do$' >/dev/null; then
17
- mono "$GNOME_DO_EXE" "$@"
18
+ /usr/bin/cli "$GNOME_DO_EXE" "$@"
20
while [ "$?" -eq "20" ]; do
21
- mono "$GNOME_DO_EXE" "$@"
22
+ /usr/bin/cli "$GNOME_DO_EXE" "$@"