From da5a7e439541542bd1eb7bc46264b63669c561ad Mon Sep 17 00:00:00 2001 From: Martin Blazik Date: Wed, 19 Aug 2020 12:26:24 +0200 Subject: [PATCH] Fix PowerShell profile file install --- scripts/powershell-install.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) mode change 100644 => 100755 scripts/powershell-install.sh diff --git a/scripts/powershell-install.sh b/scripts/powershell-install.sh old mode 100644 new mode 100755 index 34562b3..ba57b17 --- a/scripts/powershell-install.sh +++ b/scripts/powershell-install.sh @@ -1,9 +1,11 @@ #!/bin/bash +set -x set -o PWSH_PROFILE_NAME=Microsoft.PowerShell_profile.ps1 -PWSH_PROFILE_PATH=$HOME/.config/ +PWSH_PROFILE_PATH=$HOME/.config/powershell/ -cp config/$PWSH_PROFILE_NAME $PWSH_PROFILE_PATH +mkdir -p $PWSH_PROFILE_PATH +cp conf/$PWSH_PROFILE_NAME $PWSH_PROFILE_PATH