diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2015-12-10 00:24:11 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-12-10 01:25:28 +0100 |
| commit | 33915956727ea6ef540faec02f2782b04a4354d8 (patch) | |
| tree | dbbab82a542d62eeda0303b13ac88ffd6f568e77 | |
| parent | dd07fa044762e915e0adf965568ac87f65d22bcb (diff) | |
| download | jenkins.debian.net-33915956727ea6ef540faec02f2782b04a4354d8.tar.xz | |
update_jdn: just copy all hosts//usr/ instead of only /usr/local
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 50a6b634..bfd2e0e8 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -333,7 +333,7 @@ fi # cd $BASEDIR sudo cp --preserve=mode,timestamps -r hosts/$HOSTNAME/etc/* /etc -sudo cp --preserve=mode,timestamps -r hosts/$HOSTNAME/usr/local/* /usr/local/ +sudo cp --preserve=mode,timestamps -r hosts/$HOSTNAME/usr/* /usr/ # # more configuration than a simple cp can do |