- 11 Sep, 2018 2 commits
-
-
rgaudin authored
- 07 Sep, 2018 2 commits
- 06 Sep, 2018 5 commits
-
-
rgaudin authored
-
rgaudin authored
-
rgaudin authored
-
rgaudin authored
-
rgaudin authored
- Captive portal has been slightly redisgned as a low-end Onboarding - Connectivity is checked - DNS is spoofed if we have no connectivity otherwise not - Default nginx server (not ideascube hostname) is the portal - When spoofing, wrong URIs go to default nginx - When not spoofing, iptables redirects to default nginx (IP) - Idle for capture is set to 15mn (was 5mn) - Supports different modes (Offline, Gateway, Extended, Resource -- see #193) - New master integrating those changes
-
- 04 Sep, 2018 1 commit
-
-
rgaudin authored
-
- 01 Sep, 2018 3 commits
-
-
rgaudin authored
-
rgaudin authored
-
rgaudin authored
add_mw_extension script uses mediawiki API mediawiki API does not exposes deprecated extensions deprecation is based on latest mediawiki available At this time, we are une 1.31 while latest is 1.32 so API does not respond for MwEmbedSupport extension
-
- 31 Aug, 2018 4 commits
-
-
rgaudin authored
-
rgaudin authored
-
rgaudin authored
- add a delay after diskpart to prevent Bad file descriptor error - speed up process by writing chunks of 25MiB - properly close device and image on error - additional logging - fixed SD challenge offset - copy is properly cancellable - dont consider failed-to-write as a complete failure (use success image name) - in case of failure to write, invite user to use Etcher via File menu entry
-
rgaudin authored
New master including the fix
-
- 28 Aug, 2018 3 commits
- 27 Aug, 2018 3 commits
- 26 Aug, 2018 1 commit
-
-
Kelson authored
-
- 24 Aug, 2018 3 commits
- 22 Aug, 2018 3 commits
- 20 Aug, 2018 8 commits
- 14 Aug, 2018 1 commit
-
-
rgaudin authored
edupi_resources is saved either as-is or as a relative path depending on it being an URL or not. If it is not set, it should be saved as None and not check for it being remote or not.
-
- 13 Aug, 2018 1 commit
-