16 lines
452 B
Django/Jinja
16 lines
452 B
Django/Jinja
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
set -euo pipefail
|
||
|
|
|
||
|
|
{% if linux_dev_station_ssh_agent_enabled | bool %}
|
||
|
|
source "{{ linux_dev_station_scripts_dir }}/ssh-agent-start.sh"
|
||
|
|
{% endif %}
|
||
|
|
|
||
|
|
cd {{ linux_dev_station_workspace_dir }}
|
||
|
|
|
||
|
|
exec code-server \
|
||
|
|
--bind-addr {{ linux_dev_station_code_server_host }}:{{ linux_dev_station_code_server_port }} \
|
||
|
|
--auth {{ linux_dev_station_code_server_auth }} \
|
||
|
|
--disable-telemetry \
|
||
|
|
{{ linux_dev_station_code_server_workspace }}
|