PetrChudoba

    class CrazyShufflingList<T> : IList<T>
    {
        private List<T> _internal = new List<T>();
        private Random _random = new Random();

        public T this[int index]
        {
            get
            {
                return _internal[index];

PetrChudoba

    class HashsetWithRandomSampling<T>
    {
        Dictionary<T, int> _indices = new Dictionary<T, int>();
        List<T> _items = new List<T>();
        Random _random = new Random();


        public void Add(T item)
        {
            if (_indices.ContainsKey(item))

PetrChudoba

Executor for shellscript

We need to convert Windows path to WSL path: C:\Users\user\Documents\script.sh -> /mnt/c/Users/user/Documents/script.sh

 "shellscript": "bash $('/mnt/' + $fullFileName.Substring(0,1).ToLower() + $fullFileName.Substring(2).Replace('\\','/') )",

Full settings.json

// Place your settings in this file to overwrite the default settings

PetrChudoba

#!/bin/bash
# Reboot the raspberry to the LibreELEC- Kodi, by modifying the NOOBS configuration file.

# TODO: Check if already mounted

# Mount NOOBS partition (partition 5)
mount -t auto /dev/mmcblk0p5 /mnt/NOOBS/

# Change the partition in the confing file  (kodi: partition=6, raspbian : partition=8)
sed -i '/^default_partition_to_boot/s/=.*/=6/' /mnt/NOOBS/noobs.conf