diff options
Diffstat (limited to 'roles')
-rw-r--r-- | roles/sane_debian_system/defaults/main.yml | 2 | ||||
-rw-r--r-- | roles/sane_debian_system/tasks/apt.yml | 10 |
2 files changed, 11 insertions, 1 deletions
diff --git a/roles/sane_debian_system/defaults/main.yml b/roles/sane_debian_system/defaults/main.yml index aa5d7cb..9920f83 100644 --- a/roles/sane_debian_system/defaults/main.yml +++ b/roles/sane_debian_system/defaults/main.yml @@ -5,7 +5,7 @@ hostname: "" # The Debian release code name to use. -debian_codename: YOUMUSTSETTHIS +debian_codename: # Default Debian mirror to use. Default should work everywhere, but if # needed, pick a faster mirror, perhaps a local one. diff --git a/roles/sane_debian_system/tasks/apt.yml b/roles/sane_debian_system/tasks/apt.yml index 3479334..497739e 100644 --- a/roles/sane_debian_system/tasks/apt.yml +++ b/roles/sane_debian_system/tasks/apt.yml @@ -1,3 +1,13 @@ +# Safety check: make sure debian_codename is set. +- name: check that debian_codename is set + shell: | + if [ "{{ debian_codename }}" = "" ] + then + echo "You MUST set debian_codename" 1>&2 + exit 1 + fi + + # First update package lists. The ones that come with the image may be # badly out of date. - name: update package lists |