#!/bin/bash
set -ex
REMOTE=${
1:-
https://github.com/web-platform-tests/wpt}
REF=${
2:-master}
cd ~
if [ -e /dev/kvm ];
then
# If kvm is present ensure that the test user can access it
# Ideally this could be done by adding the test user to the
# owning group, but then we need to re-login to evaluate the
# group membership. This chmod doesn't affect the host.
sudo chmod a+rw /dev/kvm
fi
if [ ! -d web-platform-tests ];
then
mkdir web-platform-tests
cd web-platform-tests
git init
git remote add origin ${REMOTE}
# Initially we just fetch 50 commits in order to save several minutes of fetching
retry git fetch --quiet --depth=
50 --tags origin ${REF}:task_head
git checkout --quiet task_head
fi
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-11-08)
¤
*© Formatika GbR, Deutschland