diff options
author | Andrew Cady <d@jerkface.net> | 2021-03-13 19:09:01 -0500 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2021-03-13 19:09:01 -0500 |
commit | 1509836040013d2e6e1e73fece14525a2b441d9b (patch) | |
tree | 1181832a5d001a2e6f26114f8d8c7d3b7ac30ede | |
parent | aa4f427a19e9b94d55bb065e1e355ce775c5dc49 (diff) |
prefer linux-image version from /vmlinuz symlink to $(uname -r)
-rw-r--r-- | fsmgr.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -55,7 +55,7 @@ getDebianCodename = unsafePerformIO $ do | |||
55 | 55 | ||
56 | uname :: (String, String) | 56 | uname :: (String, String) |
57 | uname = unsafePerformIO $ do | 57 | uname = unsafePerformIO $ do |
58 | Stdout out <- cmd "uname -r" | 58 | Stdout out <- cmd "sh -c" ["f=$([ -L /vmlinuz ] && readlink /vmlinuz); f=${f##*/vmlinuz-}; echo ${f:-$(uname -r)}"] |
59 | pure $ (reverse *** reverse . tail) . break (== '-') . reverse . head . lines $ out | 59 | pure $ (reverse *** reverse . tail) . break (== '-') . reverse . head . lines $ out |
60 | 60 | ||
61 | data AptListCfg = | 61 | data AptListCfg = |