Rename PowerShell profile script

2020-10-29 21:44:48 +01:00
parent 287a9a714c
commit 02729ff1d5
2 changed files with 5 additions and 0 deletions
--- a/scripts/pwsh-profile.sh
+++ b/scripts/pwsh-profile.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+set -e
+set -u
+set -x
+
+PWSH_PROFILE_NAME=Microsoft.PowerShell_profile.ps1
+PWSH_PROFILE_PATH=$HOME/.config/powershell/
+
+mkdir -p $PWSH_PROFILE_PATH
+cp conf/$PWSH_PROFILE_NAME $PWSH_PROFILE_PATH
+