Samarth Hattangady samhattangady

Just a note of some of the batch scripts I have for various purposes

Similar to time on linux. Used to measure how long a command takes to run. Source: https://stackoverflow.com/a/6209392/5453127

@echo off
@setlocal

set start=%time%

	const Builder = @import("std").build.Builder;
	const std = @import("std");
	// TODO (20 Jun 2021 sam): -Drelease-fast=true gives rise to a lld-link: error: undefined symbol: _tls_index

	pub fn build(b: *Builder) void {
	var load_libs = true;
	var font_size: f32 = 26.0;
	var web_build = false;
	var testing = false;
	var stbi_include = false;

	// gather is a script that runs to collect all the data into one single file
	// we want to create a single json file where all the contents are dumped in
	// as strings, with the object key being the filepath.
	const std = @import("std");

	const JSON_SERIALIZER_MAX_DEPTH = 32;
	pub const JsonWriter = std.io.Writer(*JsonStream, JsonStreamError, JsonStream.write);
	pub const JsonStreamError = error{JsonWriteError};
	pub const JsonSerializer = std.json.WriteStream(JsonWriter, JSON_SERIALIZER_MAX_DEPTH);
	pub const JsonStream = struct {

	; The documentation in sample.vasm states that "F=POS(A>>1) is true if and only if A was positive and even before the shift"
	; This doesn't seem to be the case in v1.08. Even a negative even number seems to give a true value.

	; Solution for problem 6.

	get_input:
	A=IN1, C=0, B=1
	D=A
	loop:
	F=ZERO(-A)

	"""
	Script to convert all tiles from TMS format to XYZ format.
	gdal2tiles.py creates tiles in TMS format by default. XYZ
	is a little easier to consume.

	This script expects a root directory, and a zoom level.
	"""

	import os
	import sys

	'''
	By default, all the layers in any geoserver are advertised. This means
	that anyone with the link to the geoserver can view all the available
	layers.

	This is not an ideal situation. In case you already have a lot of layers
	already uploaded onto the geoserver, it is cumbersome to manually go to
	each layer an uncheck the `advertised` checkbox.

	So a quick script can do that for you.