From ae4ef5fa95210107241ea7228480bb3e8eacf9ec Mon Sep 17 00:00:00 2001 From: Anthony Rose Date: Wed, 2 Oct 2024 13:45:35 +0100 Subject: [PATCH] Add launcher for pwsh --- roles/home-gui/files/pwsh.desktop | 7 +++++++ roles/home-gui/tasks/dotfiles.yml | 4 ++++ 2 files changed, 11 insertions(+) create mode 100644 roles/home-gui/files/pwsh.desktop diff --git a/roles/home-gui/files/pwsh.desktop b/roles/home-gui/files/pwsh.desktop new file mode 100644 index 0000000..c359e10 --- /dev/null +++ b/roles/home-gui/files/pwsh.desktop @@ -0,0 +1,7 @@ +[Desktop Entry] +Name=Microsoft PowerShell +TryExec=/home/acp/.dotnet/tools/pwsh +Exec=/home/acp/.dotnet/tools/pwsh +Type=Application +Terminal=true +StartupNotify=true diff --git a/roles/home-gui/tasks/dotfiles.yml b/roles/home-gui/tasks/dotfiles.yml index 81be3ff..a3176d7 100644 --- a/roles/home-gui/tasks/dotfiles.yml +++ b/roles/home-gui/tasks/dotfiles.yml @@ -75,3 +75,7 @@ ansible.builtin.copy: src: "face.svg" dest: "{{ ansible_env.HOME }}/.face" +- name: Create $XDG_DATA_HOME/pwsh.desktop + ansible.builtin.copy: + src: "pwsh.desktop" + dest: "{{ ansible_env.XDG_DATA_HOME }}/applications/pwsh.desktop"