From 982b66a0ff0819362c1e16ac3d910b7a639f54af Mon Sep 17 00:00:00 2001
From: do <do@maketank.net>
Date: Fri, 15 Jan 2021 16:39:58 +0100
Subject: [PATCH] no desktop sources for pine64s

---
 hardware/pine64/repo.sls | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hardware/pine64/repo.sls b/hardware/pine64/repo.sls
index 148bdb0..0078c78 100644
--- a/hardware/pine64/repo.sls
+++ b/hardware/pine64/repo.sls
@@ -9,7 +9,7 @@
 
 repo_armbian:
   pkgrepo.managed:
-    - name: 'deb http://{{ cache_url }}mirrors.dotsrc.org/armbian-apt {{ grains['oscodename'] }} main {{ grains['oscodename'] }}-utils {{ grains['oscodename'] }}-desktop'
+    - name: 'deb http://{{ cache_url }}mirrors.dotsrc.org/armbian-apt {{ grains['oscodename'] }} main {{ grains['oscodename'] }}-utils #{{ grains['oscodename'] }}-desktop'
     - dist: {{ grains['oscodename'] }}
     - file: /etc/apt/sources.list.d/armbian.list
-    - clean_file: True
\ No newline at end of file
+    - clean_file: True