diff options
| author | Gabriel Filion <gabster@lelutin.ca> | 2017-07-02 01:58:34 -0400 |
|---|---|---|
| committer | Gabriel Filion <gabster@lelutin.ca> | 2017-07-02 01:58:34 -0400 |
| commit | 994934798031c0f91e8628edee7b848d0444c57e (patch) | |
| tree | 039fbf1d904821be816b8565f3ecde89f7494795 /files | |
| parent | 14872fa632f4ae73b75464706e100967c9c9035f (diff) | |
Deploy forgotten fallback for debian to avoid upgrade mishaps
During the change from the monolithic preferences file to the series of
snippets in preferences.d, one part was left out possibly as an
oversight, which prevents installing packages by mistake that belong to
a release that hasn't been explicitely pinned.
Diffstat (limited to 'files')
| -rw-r--r-- | files/Debian/preferences_fallback | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/files/Debian/preferences_fallback b/files/Debian/preferences_fallback new file mode 100644 index 0000000..1c75e83 --- /dev/null +++ b/files/Debian/preferences_fallback @@ -0,0 +1,7 @@ +# This file is managed by puppet +# all local modifications will be overwritten + +Explanation: Debian fallback +Package: * +Pin: release o=Debian +Pin-Priority: -10 |