From b14346540164ab9fbbbb7a19d2f4ced96b087833 Mon Sep 17 00:00:00 2001
From: Andrew Schwartzmeyer <andschwa@microsoft.com>
Date: Sat, 20 Feb 2016 14:28:26 -0800
Subject: [PATCH] Remove banner from profile

When trying to use PowerShell a lot, this default banner gets annoying.
I don't think we need it any more. Also change the prompt to just "PS".
---
 .../PSL_profile.ps1                                | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

diff --git a/src/Microsoft.PowerShell.Linux.Host/PSL_profile.ps1 b/src/Microsoft.PowerShell.Linux.Host/PSL_profile.ps1
index 7276644e1..de4c4f2da 100644
--- a/src/Microsoft.PowerShell.Linux.Host/PSL_profile.ps1
+++ b/src/Microsoft.PowerShell.Linux.Host/PSL_profile.ps1
@@ -1,15 +1,3 @@
 function prompt {
-   "PSL " + $(get-location) + "> "
+   "PS " + $(get-location) + "> "
 }
-
-@"
-
-Welcome to Project Magrathea!
-
-This is the Core PowerShell On Linux / OS X / Windows console
-=============================================================
-- Type 'Get-Help' for help
-- Type 'Exit' to exit
-- Type 'Invoke-Pester test/powershell' to run the tests
-
-"@