diff options
| author | piernov <piernov@piernov.servegame.org> | 2011-07-23 00:25:03 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.servegame.org> | 2011-07-23 00:25:03 +0200 |
| commit | 457ba45f1f7d291d5881f18786b6a876573a8320 (patch) | |
| tree | 0cb3caa3241b510b8a377f683aaa559342424471 /gnome-device-manager/post-install | |
| download | gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.gz gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.bz2 gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.xz gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.zip | |
Création du dépôt
Diffstat (limited to 'gnome-device-manager/post-install')
| -rwxr-xr-x | gnome-device-manager/post-install | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gnome-device-manager/post-install b/gnome-device-manager/post-install new file mode 100755 index 0000000..7ab8335 --- /dev/null +++ b/gnome-device-manager/post-install @@ -0,0 +1,8 @@ +#!/bin/sh + +port=alacarte + +# desktop database +update-desktop-database > /dev/null + +# End of file |