Subject: Fix childsplay .desktop file

From: Prafulla Giri <[email-masked]>
Date: Tue, 1 Sep 2020 19:22:27 +0545

Esteemed maintainers,

The package definition of `childsplay` as it currently stands creates a
buggy .desktop file. It points to out/bin/childsplay.py instead of
out/bin/childsplay. The attached patch fixes the (minor) issue.

Thank you
From eb8c15cdb01cda6fd469b5250c5b2b914a7ea2b6 Mon Sep 17 00:00:00 2001
From: Prafulla Giri <[email-masked]>
Date: Tue, 1 Sep 2020 19:13:20 +0545
Subject: [PATCH] gnu: childsplay: Fix .desktop file.

* gnu/packages/education.scm (childsplay)[arguments]: In phase
'create-desktop-file, fix Exec to point to out/bin/childsplay.
---
 gnu/packages/education.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index ed1401c39b..8ce1723cd4 100644
--- a/gnu/packages/education.scm
+++ b/gnu/packages/education.scm
@@ -486,7 +486,7 @@ specialized device.")
                             Comment[ca]=Conjunt de jocs educatius per a xiquets~@
                             Comment[es]=Conjunto de juegos educativos para niños~@
                             Comment[de]=Sammlung mit lehrreichen Spielen für kleine Kinder~@
-                            Exec=~a/bin/childsplay.py~@
+                            Exec=~a/bin/childsplay~@
                             Terminal=false~@
                             Icon=logo_cp.svg~@
                             Type=Application~@
-- 
2.28.0