diff options
| author | Michael Vogt <egon@bottom> | 2006-05-08 18:45:43 +0200 |
|---|---|---|
| committer | Michael Vogt <egon@bottom> | 2006-05-08 18:45:43 +0200 |
| commit | cfde4904a7b61e2a3c75322a08a6fac3c062d65d (patch) | |
| tree | 83295f359aa7054578e4e776f0fe22f294f6f5d2 /debian/postinst | |
| parent | 75e94aee76df0256eea7fbd8558437b93af28347 (diff) | |
| parent | fc5f54175a514c31c9400d9f9d08e6496cf63823 (diff) | |
* merged from mainline
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 () |