diff options
author | Gabriel Filion <gabster@lelutin.ca> | 2017-07-02 01:44:38 -0400 |
---|---|---|
committer | Gabriel Filion <gabster@lelutin.ca> | 2017-07-02 01:44:38 -0400 |
commit | 14872fa632f4ae73b75464706e100967c9c9035f (patch) | |
tree | 0733caaf6142f13a863877fb91e52fc607464ade /templates/Debian/current_codename.erb | |
parent | 5bbc86ff4f4a601a3924805a13fc1c5154670289 (diff) |
Rename "stable" preferences file to "current_codename"
The file that we call "stable" can make apt actually pin testing or sid
if one of these is the running codename, which is nothing stable.
In order to make this file's name more relevant it should be named
current_codename.
Diffstat (limited to 'templates/Debian/current_codename.erb')
-rw-r--r-- | templates/Debian/current_codename.erb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/templates/Debian/current_codename.erb b/templates/Debian/current_codename.erb new file mode 100644 index 0000000..be05e51 --- /dev/null +++ b/templates/Debian/current_codename.erb @@ -0,0 +1,7 @@ +# This file is managed by puppet +# all local modifications will be overwritten + +Explanation: Debian <%= @debian_codename %> +Package: * +Pin: release o=Debian,n=<%= @debian_codename %> +Pin-Priority: 990 |