src/Pure/System/linux.scala
changeset 73534 e7fb17bca374
parent 73340 0ffcad1f6130
child 75393 87ebf5a50283
equal deleted inserted replaced
73533:543d5539306d 73534:e7fb17bca374
    43   final class Release private(val id: String, val release: String, val description: String)
    43   final class Release private(val id: String, val release: String, val description: String)
    44   {
    44   {
    45     override def toString: String = description
    45     override def toString: String = description
    46 
    46 
    47     def is_ubuntu: Boolean = id == "Ubuntu"
    47     def is_ubuntu: Boolean = id == "Ubuntu"
    48     def is_ubuntu_18_04: Boolean = is_ubuntu && release == "18.04"
       
    49     def is_ubuntu_20_04: Boolean = is_ubuntu && release == "20.04"
    48     def is_ubuntu_20_04: Boolean = is_ubuntu && release == "20.04"
    50   }
    49   }
    51 
    50 
    52 
    51 
    53   /* packages */
    52   /* packages */