HomePhabricator

PowerShell: Rename profile file + small improvements

Description

PowerShell: Rename profile file + small improvements

Details

Provenance
pmoreauAuthored on Jun 9 2022, 8:31 PM
pmoreauPushed on Jun 16 2022, 2:15 AM
Parents
rDOTc8985ada7d5f: Zsh: Define XDG_*_HOME variables earlier
Branches
Unknown
Tags
Unknown