Skip to content

Fix unsetting PS1#714

Merged
mxcl merged 1 commit intomainfrom
fix/712
Sep 12, 2023
Merged

Fix unsetting PS1#714
mxcl merged 1 commit intomainfrom
fix/712

Conversation

@mxcl
Copy link
Contributor

@mxcl mxcl commented Sep 12, 2023

Also fixes some omissions in dev-env handling

Fixes #712

Also fixes some omissions in dev-env handling

Fixes #712
@coveralls
Copy link

Coverage Status

coverage: 99.011% (-0.5%) from 99.553% when pulling 399462e on fix/712 into 3cd048e on main.

@mxcl mxcl merged commit 90e9276 into main Sep 12, 2023
@mxcl mxcl deleted the fix/712 branch September 12, 2023 14:37
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.

Removing all +pkgs leaves my PS1 as undefined

2 participants