Ellis Kesterton

I believe spotify shuffles all the tracks in the queue at the start, and then plays through them 1 by 1 (in the new shuffled order). I would prefer this...

This is definitely something that I have been meaning to add for a while. I was going to have it automatically go to the password screen if there is only...

As a short term solution, I made `sirdi` copy the `ipkg` it used to build the project back to the root directory (see `src/Build.idr`, in the `build` function). However it...

@michaelmesser I'm in the process of doing a refactor which will split Sirdi into a library API and command line application - once that is done, then it should be...

Unfortunately to compile the current `master` you will need to download a newer version of the Idris2 compiler by building it from source. This is something I am in the...

So on further inspection, the Idris git library (https://github.com/bigs/idris2-libgit2) doesn't support everything we need. We need `ls-remote` equivalent behaviour (i.e., in libgit, https://github.com/libgit2/libgit2/blob/main/examples/ls-remote.c) so that we can get the latest...

Currently the idris2 branch fails to compile with many errors like: ``` Mismatch between: Box ?a ?j and Box (Parser mn p a) n ``` Passing the `a` and `j`...

To further the comment above, it seems that in later versions of VirtualBox the command to delete the hdd is now: ``` $ VBoxManage closemedium disk d50d2572-7082-4601-9e70-24b663fc32bb --delete ```