Skip to content

re-enable vscode + wifi hotspot 'fix' #79

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ArendJan merged 5 commits into from
Feb 9, 2026
Merged

re-enable vscode + wifi hotspot 'fix' #79

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b8ba3de
re-enable vscode
ArendJan Jan 21, 2026
81d324a
set vscode install to fixed version
ArendJan Jan 28, 2026
72d0ce4
Merge branch 'mirte-robot:develop' into develop
ArendJan Feb 5, 2026
69de848
Add 20s sleep for wifi 'fix' network_setup
ArendJan Feb 5, 2026
afff816
cleanup vscode install after re-enable
ArendJan Feb 5, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 9 additions & 10 deletions install_vscode.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,17 +7,16 @@ MIRTE_SRC_DIR=${MIRTE_SRC_DIR:-/usr/local/src/mirte}
# preloading as the robot (and computer) might not have internet access later
# - 'vscode' website

# First part:
# Broken for now, also the newer version from his repo: https://github.com/b01/dl-vscode-server
if false; then
cd $MIRTE_SRC_DIR || exit
mkdir vscode || true
cd vscode || exit
wget https://raw.githubusercontent.com/b01/dl-vscode-server/main/download-vs-code-server.sh
# wget https://gist.githubusercontent.com/b01/0a16b6645ab7921b0910603dfb85e4fb/raw/ea48d972a176b90b3956de59eb7a43da9be86ec5/download-vs-code-server.sh
chmod +x download-vs-code-server.sh
sudo -u mirte $MIRTE_SRC_DIR/vscode/download-vs-code-server.sh "linux"
# First part: https://github.com/b01/dl-vscode-server
cd $MIRTE_SRC_DIR || exit
mkdir vscode || true
cd vscode || exit
ARCH="x64"
if [[ "$(uname -m)" == "aarch64" ]]; then
ARCH="arm64"
fi
curl -L https://raw.githubusercontent.com/b01/dl-vscode-server/refs/tags/1.0.1/download-vs-code.sh | bash -s -- "linux" $ARCH

# Second part:
mkdir -p $MIRTE_SRC_DIR/vscode || true
cd $MIRTE_SRC_DIR/vscode || exit
Expand Down
2 changes: 2 additions & 0 deletions network_setup.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@ MIRTE_SRC_DIR=${MIRTE_SRC_DIR:-/usr/local/src/mirte}

($MIRTE_SRC_DIR/mirte-install-scripts/services/mirte_auto_dhcp_eth.sh || true) &

sleep 20 # wait some time for wifi driver to not crash.

# wait for wlan0 to be up, with max 30 seconds
TIMEOUT=30
NEXT_WAIT_TIME=0
Expand Down