Nothing Special   »   [go: up one dir, main page]

{ const container = $el; // The div with overflow const item = document.getElementById('sidebar-current-page') if (item) { const containerTop = container.scrollTop; const containerBottom = containerTop + container.clientHeight; const itemTop = item.offsetTop - container.offsetTop; const itemBottom = itemTop + item.offsetHeight; // Scroll only if the item is out of view if (itemBottom > containerBottom - 200) { container.scrollTop = itemTop - (container.clientHeight / 2 - item.offsetHeight / 2); } } })" class="md:h-[calc(100vh-64px)] fixed md:sticky top-0 md:top-16 z-40 hidden h-screen flex-none overflow-y-auto overflow-x-hidden bg-background-light dark:bg-gray-dark-100 w-full md:z-auto md:block md:w-[300px]" :class="{ 'hidden': ! $store.showSidebar }">

Use the docker dev CLI plugin

Important

Dev Environments is no longer under active development.

While the current functionality remains available, it may take us longer to respond to support requests.

Use the new docker dev CLI plugin to get the full Dev Environments experience from the terminal in addition to the Dashboard.

It is available with Docker Desktop 4.13.0 and later.

Usage

docker dev [OPTIONS] COMMAND

Commands

CommandDescription
checkCheck Dev Environments
createCreate a new dev environment
listLists all dev environments
logsTraces logs from a dev environment
openOpen Dev Environment with the IDE
rmRemoves a dev environment
startStarts a dev environment
stopStops a dev environment
versionShows the Docker Dev version information

docker dev check

Usage

docker dev check [OPTIONS]

Options

Name, shorthandDescription
--format,-fFormat the output.

docker dev create

Usage

docker dev create [OPTIONS] REPOSITORY_URL

Options

Name, shorthandDescription
--detach,-dDetach creates a Dev Env without attaching to it's logs.
--open,-oOpen IDE after a successful creation

docker dev list

Usage

docker dev list [OPTIONS]

Options

Name, shorthandDescription
--format,-fFormat the output
--quiet,-qOnly show dev environments names

docker dev logs

Usage

docker dev logs [OPTIONS] DEV_ENV_NAME

docker dev open

Usage

docker dev open DEV_ENV_NAME CONTAINER_REF [OPTIONS]

Options

Name, shorthandDescription
--editor,-eEditor.

docker dev rm

Usage

docker dev rm DEV_ENV_NAME

docker dev start

Usage

docker dev start DEV_ENV_NAME

docker dev stop

Usage

docker dev stop DEV_ENV_NAME

docker dev version

Usage

docker dev version [OPTIONS]

Options

Name, shorthandDescription
--format,-fFormat the output.
--short,-sShows only Docker Dev's version number.