diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2006-05-02 10:52:24 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2006-05-02 10:52:24 +0200 |
| commit | 8a9cd8995f4a5392de9843ff65795c5345d2573a (patch) | |
| tree | 50ca9eb7fbd54fcd942584de5c7bfcfc9826320d /debian/postinst | |
| parent | 42c458038bf47f535a6e70646a08e918e62e6d24 (diff) | |
| parent | e86080159e32b2dd2354c037441a49f1ee0a62dd (diff) | |
* merged from the laptop branch (smallish fixes)
Diffstat (limited to 'debian/postinst')
| -rwxr-xr-x | debian/postinst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/postinst b/debian/postinst index 891792111..1588f5241 100755 --- a/debian/postinst +++ b/debian/postinst @@ -12,7 +12,10 @@ set -e create_apt_conf () { - cp /usr/share/doc/apt/examples/sources.list /etc/apt/sources.list + EXAMPLE_SOURCE=/usr/share/doc/apt/examples/sources.list + if [ -f $EXAMPLE_SOURCE ]; then + cp $EXAMPLE_SOURCE /etc/apt/sources.list + fi } check_apt_conf () |