Hi John,
I believe the canonical way to do this is to set up LVM on LUKS. See
pros and cons of different approaches in the table at
https://wiki.archlinux.org/title/Dm-crypt/Encrypting_an_entire_system#Overview
With LVM on LUKS, you only need to enter the passphrase once to unlock
the LVM. All p
Hi,
On Sun, Aug 21, 2022, at 8:31 AM, zimoun wrote:
> Hi,
>
> Some quick comments. :-)
>
> On Sun, 21 Aug 2022 at 11:39, "(" wrote:
>
>> Yes, that's true -- however, it's still not the complete, readable
>> source code. (It presumably doesn't have comments either, which greatly
>> aid understandi
Hi,
Some quick comments. :-)
On Sun, 21 Aug 2022 at 11:39, "(" wrote:
> Yes, that's true -- however, it's still not the complete, readable
> source code. (It presumably doesn't have comments either, which greatly
> aid understanding, of course.) We do make exceptions when bootstrapping
> is sim
On Sun Aug 21, 2022 at 11:39 AM BST, ( wrote:
> Yes, that's true -- however, it's still not the complete, readable
> source code. (It presumably doesn't have comments either, which greatly
> aid understanding, of course.) We do make exceptions when bootstrapping
> is simply impossible with currentl
On Sun Aug 21, 2022 at 11:21 AM BST, Andreas Reuleaux wrote:
> (And by the way: the pregenerated scheme in there is not a binary,
> it is readable scheme code after all - well not terribly readable,
> but nevertheless).
Yes, that's true -- however, it's still not the complete, readable
source code
"(" writes:
> Hi Andreas,
>
> On Sat Aug 20, 2022 at 11:01 PM BST, Andreas Reuleaux wrote:
>> You bootstrap it from scheme (chez or racket), as comes within the Idris2
>> tarball
>> (and built with Idris 2 itself: Idris2 -> Chez Scheme / Racket).
>
> Since this Scheme is pregenerated, it can
"(" writes:
> Hi Andreas,
>
> On Sat Aug 20, 2022 at 11:01 PM BST, Andreas Reuleaux wrote:
>> You bootstrap it from scheme (chez or racket), as comes within the Idris2
>> tarball
>> (and built with Idris 2 itself: Idris2 -> Chez Scheme / Racket).
>
> Since this Scheme is pregenerated, it c
Hi Andreas,
On Sat Aug 20, 2022 at 11:01 PM BST, Andreas Reuleaux wrote:
> You bootstrap it from scheme (chez or racket), as comes within the Idris2
> tarball
> (and built with Idris 2 itself: Idris2 -> Chez Scheme / Racket).
Since this Scheme is pregenerated, it cannot really count as sourc
