diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-02 14:48:11 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-02 14:48:11 +0200 |
| commit | 08fd25502287ba6ad3e141b9a595df879acc7968 (patch) | |
| tree | 780cde59db7defcd279709455923384bb5147ba0 /bin/clean-cache | |
| parent | 93d2b2ee8ae79b565d57f1692f96f37695ef8b39 (diff) | |
| download | builder-08fd25502287ba6ad3e141b9a595df879acc7968.tar.xz | |
clean up some bashisms
Diffstat (limited to 'bin/clean-cache')
| -rwxr-xr-x | bin/clean-cache | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/clean-cache b/bin/clean-cache index 83657b6..b7cef9f 100755 --- a/bin/clean-cache +++ b/bin/clean-cache @@ -15,7 +15,7 @@ fi repos='build-support community-staging community-testing community core extra gnome-unstable kde-unstable staging testing' -mirror"$( +mirror=$( grep -m1 '^Server = ' '/etc/pacman.d/mirrorlist32' | \ cut -d= -f2 | \ sed 's|^\s*||' |