comparing d6e313b30cf8fd736d022a42c1cf2b2c349ff779 and spaces on anil.recoil.org/bellairs-quest

+4 -1

README.md

···

       4
       4
        
       

     

       5
       5
        
       - Ask @anil.recoil.org to add you to the knot.

     

       6
       6
        
       

     

       7
       7
       -
       - Add your SSH key to the tangled.sh profile.

     

       7
       7
       +
       - Add your SSH key to the tangled.sh login under 'Settings'.

     

       8
       8
        
       

     

       9
       9
        
       - use port 2222 for the SSH !!!

     

       10
       10
       +
         Put the following into `~/.ssh/config`:

     

       10
       11
        
       

     

       11
       12
        
       ```

     

       12
       13
        
       Host git.recoil.org

     
···

       15
       16
        
       ```

     

       16
       17
        
       

     

       17
       18
        
       - Wait a minute for the relay to catch up.

     

       19
       19
       +
       

     

       20
       20
       +
       - Try `ssh git.recoil.org` to ensure that you have a login and you get a message saying that this is a knot and that it doesnt like interactive mode (instead of access denied).

     

       18
       21
        
       

     

       19
       22
        
       - Try cloning over https and pushing over SSH.

+18

mvp/bellairs.mli

···

       1
       1
       +
       

     

       2
       2
       +
       type dir

     

       3
       3
       +
       type file

     

       4
       4
       +
       

     

       5
       5
       +
       type entry = {

     

       6
       6
       +
         name: string;

     

       7
       7
       +
         file: file;

     

       8
       8
       +
       }

     

       9
       9
       +
       

     

       10
       10
       +
       val root : dir

     

       11
       11
       +
       val list : dir -> entry list

     

       12
       12
       +
       

     

       13
       13
       +
       val create : dir -> string -> file

     

       14
       14
       +
       val open_ : dir -> string -> file

     

       15
       15
       +
       val delete : dir -> string -> unit

     

       16
       16
       +
       

     

       17
       17
       +
       val size : file -> int64

     

       18
       18
       +
       val read : file -> ?off:int64 -> ?len:int64 -> string

+33

mvp/bellairs.schema

···

       1
       1
       +
       @0xa59e1c95e37fb55d;

     

       2
       2
       +
       

     

       3
       3
       +
       interface Directory {

     

       4
       4
       +
         # Represents a directory in the filesystem

     

       5
       5
       +
       

     

       6
       6
       +
         list @0 () -> (entries :List(Entry));

     

       7
       7
       +
         # Lists all entries in the directory

     

       8
       8
       +
       

     

       9
       9
       +
         struct Entry {

     

       10
       10
       +
           name @0 :Text;    # Name of the entry

     

       11
       11
       +
           file @1 :File;    # Reference to the file object

     

       12
       12
       +
         }

     

       13
       13
       +
       

     

       14
       14
       +
         create @1 (name :Text) -> (file :File);

     

       15
       15
       +
         # Creates a new file with the given name

     

       16
       16
       +
       

     

       17
       17
       +
         open @2 (name :Text) -> (file :File);

     

       18
       18
       +
         # Opens an existing file with the given name

     

       19
       19
       +
       

     

       20
       20
       +
         delete @3 (name :Text);

     

       21
       21
       +
         # Deletes a file with the given name

     

       22
       22
       +
       }

     

       23
       23
       +
       

     

       24
       24
       +
       interface File {

     

       25
       25
       +
         # Represents a file in the filesystem

     

       26
       26
       +
       

     

       27
       27
       +
         size @0 () -> (size :UInt64);

     

       28
       28
       +
         # Returns the size of the file in bytes

     

       29
       29
       +
       

     

       30
       30
       +
         read @1 (off :UInt64 = 0, len :UInt64 = 0xffffffffffffffff) -> (data :Data);

     

       31
       31
       +
         # Reads data from the file, optionally starting at offset and reading up to len bytes

     

       32
       32
       +
         # Default is to read the entire file

     

       33
       33
       +
       }

+4

mvp/dune

···

       1
       1
       +
       (library

     

       2
       2
       +
        (name bellairs)

     

       3
       3
       +
        (modules_without_implementation bellairs)

     

       4
       4
       +
        (modules bellairs))

+1

mvp/dune-project

···

       1
       1
       +
       (lang dune 3.17)

Compare changes