| 1 |
On Thu, 4 Sep 2014 08:54:48 +0200 |
| 2 |
Michał Górny <mgorny@g.o> wrote: |
| 3 |
|
| 4 |
> Dnia 2014-09-03, o godz. 23:48:50 |
| 5 |
> Brian Dolbec <dolsen@g.o> napisał(a): |
| 6 |
> |
| 7 |
> > if it still isn't correct, please reply with it corrected... |
| 8 |
> > much appreciated :) |
| 9 |
> |
| 10 |
> [[ -n ${repo_sync_type} && ( ${repo_sync_type} != rsync || |
| 11 |
> ${repo_sync_type} != websync ) ]] |
| 12 |
> |
| 13 |
|
| 14 |
Updated and rebased in. |
| 15 |
Thanks. |
| 16 |
|
| 17 |
diff --git a/bin/emerge-webrsync b/bin/emerge-webrsync |
| 18 |
index 2f0689c..d784959 100755 |
| 19 |
@@ -501,8 +501,8 @@ main() { |
| 20 |
|
| 21 |
# This is a sanity check to help prevent people like funtoo users |
| 22 |
# from accidentally wiping out their git tree. |
| 23 |
- if [[ -n ${repo_sync_type} && ${repo_sync_type} != rsync ]] ; then |
| 24 |
- echo "The current sync-type attribute of repository 'gentoo' is not set to 'rsync':" >&2 |
| 25 |
+ if [[ -n ${repo_sync_type} && ( ${repo_sync_type} != rsync || ${repo_sync_type} != websync ) ]] ; then |
| 26 |
+ echo "The current sync-type attribute of repository 'gentoo' is not set to 'rsync' or 'websync':" >&2 |
| 27 |
echo >&2 |
| 28 |
echo " sync-type=${repo_sync_type}" >&2 |
| 29 |
echo >&2 |
| 30 |
|
| 31 |
|
| 32 |
-- |
| 33 |
Brian Dolbec <dolsen> |
Archives