Skip to content

Conversation

@FabianKramm
Copy link
Collaborator

What is this pull request for? Which issues does it resolve? (use resolves #<issue_number> if possible)
resolves #390 & #388

Does this pull request has user-facing changes? (e.g. config changes, new/modified commands, new/modified flags)
Yes new --terminal flag for devspace up and new devspace.terminal.disabled option

Does this pull request add new dependencies?
No

@FabianKramm FabianKramm merged commit e7a64cf into master Nov 22, 2018
@FabianKramm FabianKramm deleted the issue-390 branch November 27, 2018 10:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

When no terminal configuration is provided an error is shown.

2 participants