L'éditeur Kate est manquant dans le menu Démarrer Ubuntu 20.04
depuis la mise à niveau vers Ubuntu 20.04, je ne trouve pas le kate IDE dans le menu de démarrage Ubuntu plus.
j'aimerais aussi pouvoir démarrer .php et .js et fichiers .json à l'aide de Kate ..
j'ai cherché sur le Web pour des indices, mais je n'ai trouvé aucun ..
s'il vous plaît partager des idées que vous pourriez avoir pour moi dans ce fil.
Je me débats avec ce trop atm mais un indice qui pourrait pousser quelqu'un:
Suppression du raccourci vers Kate dans ~/.local/share/applications/ résolu ce problème complètement pour moi (inc. le restaurer dans les favoris, etc.).
Le problème est que la prochaine fois que vous commencez Kate, cela reconstitue simplement ce fichier et fait disparaître les raccourcis à nouveau!
On dirait un conflit mais c'est aussi loin que j'ai réussi à venir jusqu'à présent.
Mise à jour: Kate purgé à l'aide d'APT, supprimé manuellement les raccourcis incriminés, réinstallé Kate à l'aide de l'interface graphique du logiciel Ubuntu et maintenant ce problème est parti ?! Au lieu de cela, mes définitions de syntaxe personnalisées ne fonctionnent pas comme elles utilisaient maintenant, mais ce serait un contexte extérieur.