diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-07-08 23:26:17 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2023-07-08 23:26:17 +0300 |
| commit | 0a645ac60603b262a2f4a6be25e9b4298385296c (patch) | |
| tree | 3fd30f77ebabe0228cfc8bb4401fdc64a50185a9 /gnu | |
| parent | f5a880861600799b462ee7449e2c7a3f777153ac (diff) | |
gnu: clipman: Use a source file-name.
* gnu/packages/xdisorg.scm (clipman)[source]: Use a source file-name.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/xdisorg.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 4e00f0943f..d9360bc8f1 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -2994,6 +2994,7 @@ After selection, the clip is put onto the PRIMARY and CLIPBOARD X selections.") (uri (git-reference (url (string-append "https://github.com/yory8/" name "/")) (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 "0b9kvj0dif4221dy6c1npknhhjxvbc4kygzhwxjirpwjws0yv6v9")))) (build-system go-build-system) |