Bug#597002: raise priority of gawk?

2010-09-15 Thread Per Olofsson
Package: gawk Version: 1:3.1.7.dfsg-5 Severity: normal Hi, Currently, mawk is priority required while gawk is priority optional. So mawk is installed by default while gawk isn't. However, if gawk is installed, it becomes the default awk because it has a higher alternatives priority than mawk.

Bug#597002: raise priority of gawk?

2010-09-15 Thread Aleksey Cheusov
Currently, mawk is priority required while gawk is priority optional. So mawk is installed by default while gawk isn't. However, if gawk is installed, it becomes the default awk because it has a higher alternatives priority than mawk. (The reason mawk has a lower priority, according to its

Bug#597002: raise priority of gawk?

2010-09-15 Thread Per Olofsson
2010-09-15 22:26, Aleksey Cheusov skrev: Currently, mawk is priority required while gawk is priority optional. So mawk is installed by default while gawk isn't. However, if gawk is installed, it becomes the default awk because it has a higher alternatives priority than mawk. (The reason mawk

Bug#597002: raise priority of gawk?

2010-09-15 Thread Aleksey Cheusov
2010-09-15 22:26, Aleksey Cheusov skrev: Currently, mawk is priority required while gawk is priority optional. So mawk is installed by default while gawk isn't. However, if gawk is installed, it becomes the default awk because it has a higher alternatives priority than mawk. (The