- $dist = "oldstable" if $dist eq "o";
- $dist = "stable" if $dist eq "s";
- $dist = "testing" if $dist eq "t";
- $dist = "unstable" if $dist eq "u";
- die "Bad distribution\n" if !isin($dist, qw(stable testing unstable stable-security testing-security oldstable oldstable-security));