tips: wsl.rst@7f6cf1952337 (annotated)

2365 d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	1
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	2	==================================
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	3	WSL, Windows subsystem for Linux
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	4	==================================
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	5	.. contents::
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	6	:local:
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	7
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	8	wsl utility
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	9	===========
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	10
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	11	Run Linux command from default distro::
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	12
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	13	wsl ls
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	14	wsl -e /bin/ls
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	15	wsl --exec /bin/bash
d907310aeacf wsl utility. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	16
2366 55f48026a610 Run Linux command from specific distro. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2365 diff changeset	17	Run Linux command from specific distro::
55f48026a610 Run Linux command from specific distro. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2365 diff changeset	18
55f48026a610 Run Linux command from specific distro. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2365 diff changeset	19	wsl -d ubuntu ls
55f48026a610 Run Linux command from specific distro. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2365 diff changeset	20	wsl -d debian -e /bin/ls
55f48026a610 Run Linux command from specific distro. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2365 diff changeset	21	wsl -d debian --exec /bin/bash
55f48026a610 Run Linux command from specific distro. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2365 diff changeset	22	wsl -distribution debian --exec /bin/bash
55f48026a610 Run Linux command from specific distro. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2365 diff changeset	23
2367 f295973a87a5 Run Linux command from specific user. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2366 diff changeset	24	Run Linux command from specific user::
f295973a87a5 Run Linux command from specific user. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2366 diff changeset	25
f295973a87a5 Run Linux command from specific user. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2366 diff changeset	26	wsl -u user ls
f295973a87a5 Run Linux command from specific user. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2366 diff changeset	27	wsl --user root ls
f295973a87a5 Run Linux command from specific user. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2366 diff changeset	28
2368 574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	29	wslconfig utility
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	30	=================
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	31
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	32	List distros::
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	33
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	34	wslconfig /l
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	35	wslconfig /list
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	36
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	37	Set default distro::
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	38
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	39	wslconfig /s debian
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	40	wslconfig /setdefault debian
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	41
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	42	Terminate any running parts of distro::
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	43
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	44	wslconfig /s debian
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	45	wslconfig /terminate debian
574d07ac6f55 wslconfig utility Oleksandr Gavenko <gavenkoa@gmail.com> parents: 2367 diff changeset	46

author	Oleksandr Gavenko <gavenkoa@gmail.com>
	Sun, 05 Jan 2020 23:56:26 +0200
changeset 2401	7f6cf1952337
parent 2368	574d07ac6f55
child 2423	6a4fd5ccb340
permissions	-rw-r--r--