_ Git - alire.git/commit

]> _ Git - alire.git/commit

author	Alejandro R Mosteo <amosteo@unizar.es>
	Fri, 2 Jun 2023 11:03:13 +0000 (13:03 +0200)
committer	GitHub <noreply@github.com>
	Fri, 2 Jun 2023 11:03:13 +0000 (13:03 +0200)
commit	2bea9f73fc455bacb81f19f0e7ab727789b792d3
tree	212aaf9fbf539c852b8a19a1f81f342aa0efdc66	tree \| snapshot
parent	a4bb36625592a2155bb8b19914ab5ce75d03df8f	commit \| diff

Unify naming of session/working folder as workspace (#1390)

24 files changed:

src/alire/alire-config.ads		diff \| blob \| history
src/alire/alire-paths.ads		diff \| blob \| history
src/alire/alire-properties-actions-executor.ads		diff \| blob \| history
src/alire/alire-roots-optional.adb		diff \| blob \| history
src/alire/alire-roots.ads		diff \| blob \| history
src/alr/alr-commands-clean.adb		diff \| blob \| history
src/alr/alr-commands-edit.adb		diff \| blob \| history
src/alr/alr-commands-exec.adb		diff \| blob \| history
src/alr/alr-commands-get.adb		diff \| blob \| history
src/alr/alr-commands-install.adb		diff \| blob \| history
src/alr/alr-commands-pin.adb		diff \| blob \| history
src/alr/alr-commands-printenv.adb		diff \| blob \| history
src/alr/alr-commands-run.adb		diff \| blob \| history
src/alr/alr-commands-show.adb		diff \| blob \| history
src/alr/alr-commands-toolchain.adb		diff \| blob \| history
src/alr/alr-commands-update.adb		diff \| blob \| history
src/alr/alr-commands-withing.adb		diff \| blob \| history
src/alr/alr-commands.adb		diff \| blob \| history
src/alr/alr-commands.ads		diff \| blob \| history
src/alr/alr-files.ads		diff \| blob \| history
src/alr/alr-os_lib.ads		diff \| blob \| history
testsuite/tests/misc/bad-tomlfile/test.py		diff \| blob \| history
testsuite/tests/misc/clean-end/test.py		diff \| blob \| history
testsuite/tests/pin/manifest-invalid-pins/test.py		diff \| blob \| history

Fork of https://github.com/alire-project/alire to add shell-style quoting (pull request: https://github.com/alire-project/alire/pull/1993)