update thumbnails

site/scripts/get-example-thumbnails/index.js

@@ -15,8 +15,8 @@ fs.readdirSync(`content/examples`).forEach(group_dir => {
 async function main() {
 	const browser = await puppeteer.launch({
 		defaultViewport: {
-			width: 1280,
-			height: 960,
+			width: 600 * 10 / 4,
+			height: 400 + 42,
 			deviceScaleFactor: 2
 		}
 	});
@@ -32,7 +32,7 @@ async function main() {
 			}
 
 			console.log(slug);
-			await page.goto(`http://localhost:3000/repl?example=${slug}`);
+			await page.goto(`http://localhost:3000/repl/embed?example=${slug}`);
 
 			await page.waitForSelector('iframe.inited[title=Result]');
 			await page.waitFor(1500);
@@ -40,8 +40,10 @@ async function main() {
 			const buffer = await iframe.screenshot();
 
 			const image = await Jimp.read(buffer);
+			console.log(image.bitmap.width, image.bitmap.height);
 			image.crop(3, 3, image.bitmap.width - 6, image.bitmap.height - 6);
 			image.autocrop();
+			// image.scale(0.25);
 
 			if (image.bitmap.width > 300 || image.bitmap.width > 200) {
 				const scale = Math.min(
@@ -55,6 +57,7 @@ async function main() {
 			await image.write(output_file);
 		} catch (err) {
 			console.log(c.bold().red(`failed to screenshot ${slug}`));
+			console.log(err);
 		}
 	}