diff options
| author | Alex Devaure <ajadevaure@gmail.com> | 2021-10-08 18:43:39 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-10-08 18:43:39 +0200 |
| commit | e7b899008c34c3d420b2017b8d41e13b33d5a93c (patch) | |
| tree | 3b3ab97b6f6993b21d75ca179fbd6991f81b481d /gnu/packages/idris.scm | |
| parent | c1e1aa39d6c05e12bfe78b6d132b439e82b13f74 (diff) | |
| download | guix-e7b899008c34c3d420b2017b8d41e13b33d5a93c.tar.gz | |
gnu: tlp: Fix runtime error.
* gnu/packages/linux.scm (tlp)[arguments]<#:phases>: Also modify "bat.d" location, to prevent "/usr/share/tlp/bat.d/[0-9][0-9]*[a-z]: No such file or directory" error.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions