16 lines
452 B
Django/Jinja
16 lines
452 B
Django/Jinja
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
{% if macos_dev_station_ssh_agent_enabled | bool %}
|
|
source "{{ macos_dev_station_scripts_dir }}/ssh-agent-start.sh"
|
|
{% endif %}
|
|
|
|
cd {{ macos_dev_station_workspace_dir }}
|
|
|
|
exec code-server \
|
|
--bind-addr {{ macos_dev_station_code_server_host }}:{{ macos_dev_station_code_server_port }} \
|
|
--auth {{ macos_dev_station_code_server_auth }} \
|
|
--disable-telemetry \
|
|
{{ macos_dev_station_code_server_workspace }}
|