filiptronicek

wget --content-disposition --trust-server-names -i urls.txt

filiptronicek

namesDelimitedByNewline.split("\n").sort((a, b) => a.split(" ")[1].localeCompare(b.split(" ")[1])).join("\n")

filiptronicek

import fs from "fs";

// for every file in the directory, make a folder with the same name and move the file into it, renaming it to index.md

const dir = "./src/lib/contents/changelog";

fs.readdirSync(dir).forEach((file) => {
  const fileDir = `${dir}/${file}`;
  const newDir = `${dir}/${file.split(".")[0]}`;
  fs.mkdirSync(newDir);

filiptronicek

const fs = require("fs/promises");
const execSync = require("child_process").execSync;

const toDownload = 100;
const downloadFolder = "downloaded";

const getExtensions = async () => {
  const openVsxResponse = await fetch(
    `https://open-vsx.org/api/-/search?size=${toDownload}&sortBy=downloadCount&sortOrder=desc`
  );

filiptronicek

import { readFile } from "fs/promises";

import { unified } from "unified/lib/index.js";
import remarkParse from "remark-parse";

const file = await readFile("files/file.md", "utf8");

const data = unified().use(remarkParse).parse(file);

const releaseNotesStart = data.children.find(

filiptronicek

{
    "malicious": [
      "ms-python.python"
    ],
    "deprecated": {},
    "migrateToPreRelease": {}
}

filiptronicek

Description

Update code to 1.x.x

How to test

• Switch to VS Code Insiders in settings.
• Start a workspace.
• Test following:
  • terminals are preserved and resized properly between window reloads
• WebViews are working

filiptronicek

ns = []
def compt(n):
    ns.append(n)
    if n == 1:
        return
    if n % 2 == 0:
        n = n/2
    else:
        n = (3*n)+1
    compt(n)

filiptronicek

<?php

/**
 * Checks if a given `$url` is hosted on IPFS
 * 
 * @param string $url
 * @return bool
 */
function checkIPFS($url)
{

filiptronicek

{
    "workbench.colorCustomizations": {
		"titleBar.activeBackground": "#ffffff",
        "debugConsole.errorForeground": "#ffffff",
		"titleBar.activeForeground": "#ffffff",
        "sideBar.background": "#ffffff",
        "editor.background": "#ffffff",
        "window.zoomLevel": 20,
        "editor.foreground": "#ffffff",
        "sideBar.foreground": "#ffffff",