Skip to content

Commit f28dbb4

Browse files
committed
[ide] remove pruning history on startup
1 parent 663d88a commit f28dbb4

File tree

1 file changed

+0
-8
lines changed

1 file changed

+0
-8
lines changed

components/ide/code/startup.sh

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,14 +3,6 @@
33
# Licensed under the GNU Affero General Public License (AGPL).
44
# See License-AGPL.txt in the project root for license information.
55

6-
7-
# DO NOT REMOVE THE SPACES AT THE BEGINNING OF THESE LINES
8-
# The spaces at the beginning of the line prevent those lines from being added to
9-
# the bash history.
10-
set +o history
11-
history -c
12-
truncate -s 0 "$HISTFILE"
13-
146
# This is the main entrypoint to workspace container in Gitpod. It is called (and controlled) by the supervisor
157
# container root process.
168
# To mimic a regular login shell on a local computer we execute this with "bash -li" (interactive login shell):

0 commit comments

Comments
 (0)