fix: use tv.pathname() in mise ls

[jdx]

Fixes #2870

this converts ":" and "/" to "-" which is the directory name

[github-actions]

Hyperfine Performance

mise x -- echo

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
mise-main x -- echo	19.4 ± 0.6	18.1	22.6	1.02 ± 0.04
mise-2024.11.30 x -- echo	19.3 ± 0.6	18.0	22.9	1.01 ± 0.04
mise x -- echo	19.1 ± 0.5	17.8	21.5	1.00

mise env

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
mise-main env	15.5 ± 0.5	14.3	16.7	1.01 ± 0.04
mise-2024.11.30 env	15.3 ± 0.5	14.2	17.0	1.00
mise env	16.0 ± 0.5	14.7	17.3	1.04 ± 0.05

mise hook-env

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
mise-main hook-env	16.0 ± 0.6	14.6	17.6	1.01 ± 0.06
mise-2024.11.30 hook-env	16.0 ± 0.5	14.5	17.5	1.01 ± 0.06
mise hook-env	15.8 ± 0.7	14.4	25.2	1.00

mise ls

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
mise-main ls	13.5 ± 0.4	12.6	16.2	1.05 ± 0.04
mise-2024.11.30 ls	12.9 ± 0.3	12.2	13.8	1.00
mise ls	13.0 ± 0.3	12.5	14.1	1.01 ± 0.03

[codacy-production]

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation	Diff coverage
Report missing for 6882f531	✅ 97.44%

Coverage variation details

	Coverable lines	Covered lines	Coverage
Common ancestor commit (6882f53)	Report Missing	Report Missing	Report Missing
Head commit (6c7c317)	43113	25159	58.36%

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details

	Coverable lines	Covered lines	Diff coverage
Pull request (#3217)	39	38	97.44%

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

See your quality gate settings    Change summary preferences

_{Codacy stopped sending the deprecated coverage status on June 5th, 2024. Learn more}

Footnotes

1. Codacy didn't receive coverage data for the commit, or there was an error processing the received data. Check your integration for errors and validate that your coverage setup is correct. ↩