Re: [vox-tech] vox-tech Digest, Vol 153, Issue 1
It turns out that xen-tools installs grub-legacy Install the grub-pc package and edit the following. /etc/grub/default ``` GRUB_CMDLINE_LINUX="pti=off console=hvc0" #take out the quiet GRUB_CMDLINE_LINUX_DEFAULT="" ``` On Fri, Jul 27, 2018 at 10:13:45AM -0700, Brian E. Lavender wrote: > This is a test vm, so no worries about not being bootable. I am using > pygrub and Xen. I looked in the 40_custom and it didn't look like the > spot, but I have yet to try it. I can't ssh to my machine right now. I > will have to check later. > > brian > > On Thu, Jul 26, 2018 at 07:56:59PM -0400, Nicholas Weigand wrote: > >First: I didn't notice that you mentioned `/etc/grub.d/` in your first > >email. Sorry for the noise. > >The '.d' directories are a way to allow a configuration file to be > >built from disparate parts. You can imagine how a variety of different > >packages may all need to make changes to a single configuration file. > >Rather than having each package try to edit that file directly, they > >can simply add their config snippet to the '.d' directories as a file > >and it will be bundled together when the configuration file is built. > >The files are generally bundled/concatenated together in numerical > >order. > >In your case you probably want to edit '40_custom' to include something > >like `GRUB_CMDLINE_LINUX_DEFAULT=""`. After > >that you can run `update-grub` and you should see the changes next time > >you boot. > >A couple things to note: I haven't done this in a while so no > >guarantees/warranties :). Also, I'm not positive that > >"GRUB_CMDLINE_LINUX_DEFAULT" is the right variable, and you'll want to > >make sure that you include whatever previous options were in there > >originally, not just the one you want to add. Make sure you know what > >the working options are so you can enter them manually in case of an > >emergency since you don't want to end up with an unbootable system. All > >in all, you may need to play around with things a bit to get them > >working properly. > > > >On Thu, Jul 26, 2018 at 6:35 PM, Brian E. Lavender <[1][email protected]> > >wrote: > > > > Yes, I have the /etc/grub.d/ directory with a bunch of files. I am > > not > > sure how to edit these files. > > 00_header > > 05_debian_theme > > 10_linux > > 20_linux_xen > > 30_os-prober > > 30_uefi-firmware > > 40_custom > > 41_custom > > On Thu, Jul 26, 2018 at 04:38:27PM -0400, Nicholas Weigand wrote: > > >Do you have an /etc/grub.d/ directory? I would think that would > > be the > > >better place anyway since /etc/default/grub may be owned by the > > grub > > >package and be liable to be overwritten. > > > > > >On Thu, Jul 26, 2018 at 4:30 PM, Brian E. Lavender > > <[1][2][email protected]> > > >wrote: > > > > > > there is no /etc/default/grub on my system. I installed with > > > Xen-tools. > > > I wonder if I add that file and a configuration setting if it > > will > > > use > > > it? > > > brian > > > On Thu, Jul 26, 2018 at 12:55:06PM -0700, Kevin Lucas wrote: > > > >It may depend on the distro but I believe it's in > > > /etc/default/grub on > > > >Debian. Run update-grub after your change to apply it. > > > > > > > >Kev. > > > >On Thu, Jul 26, 2018, 12:02 PM > > <[1][2]vox-tech-request@lists. > > > [3]lugod.org> > > > >wrote: > > > > > > > > Send vox-tech mailing list submissions to > > > > [2][3][4][email protected] > > > > To subscribe or unsubscribe via the World Wide Web, > > visit > > > > [3][4][5]http://lists.lugod.org/ > > > mailman/listinfo/vox-tech > > > > or, via email, send a message with subject or body > > 'help' to > > > > [4][5][6][email protected] > > > > You can reach the person managing the list at > > > > [5][6][7][email protected] > > > > When replying, please edit your Subject line so it is > > more > > > specific > > > > than "Re: Contents of vox-tech digest..." > > > > Today's Topics: > > > > 1. kernel options for grub (Brian E. Lavender) > > > > -- > > -- > > > > > > > -- > > > > Message: 1 > > > > Date: Thu, 26 Jul 2018 09:59:31 -0700 > > > > From: "Brian E. Lavender" <[6][7][8][email protected]> > > > > To: [7][8][9][email protected].
Re: [vox-tech] vox-tech Digest, Vol 153, Issue 1
This is a test vm, so no worries about not being bootable. I am using pygrub and Xen. I looked in the 40_custom and it didn't look like the spot, but I have yet to try it. I can't ssh to my machine right now. I will have to check later. brian On Thu, Jul 26, 2018 at 07:56:59PM -0400, Nicholas Weigand wrote: >First: I didn't notice that you mentioned `/etc/grub.d/` in your first >email. Sorry for the noise. >The '.d' directories are a way to allow a configuration file to be >built from disparate parts. You can imagine how a variety of different >packages may all need to make changes to a single configuration file. >Rather than having each package try to edit that file directly, they >can simply add their config snippet to the '.d' directories as a file >and it will be bundled together when the configuration file is built. >The files are generally bundled/concatenated together in numerical >order. >In your case you probably want to edit '40_custom' to include something >like `GRUB_CMDLINE_LINUX_DEFAULT=""`. After >that you can run `update-grub` and you should see the changes next time >you boot. >A couple things to note: I haven't done this in a while so no >guarantees/warranties :). Also, I'm not positive that >"GRUB_CMDLINE_LINUX_DEFAULT" is the right variable, and you'll want to >make sure that you include whatever previous options were in there >originally, not just the one you want to add. Make sure you know what >the working options are so you can enter them manually in case of an >emergency since you don't want to end up with an unbootable system. All >in all, you may need to play around with things a bit to get them >working properly. > >On Thu, Jul 26, 2018 at 6:35 PM, Brian E. Lavender <[1][email protected]> >wrote: > > Yes, I have the /etc/grub.d/ directory with a bunch of files. I am > not > sure how to edit these files. > 00_header > 05_debian_theme > 10_linux > 20_linux_xen > 30_os-prober > 30_uefi-firmware > 40_custom > 41_custom > On Thu, Jul 26, 2018 at 04:38:27PM -0400, Nicholas Weigand wrote: > >Do you have an /etc/grub.d/ directory? I would think that would > be the > >better place anyway since /etc/default/grub may be owned by the > grub > >package and be liable to be overwritten. > > > >On Thu, Jul 26, 2018 at 4:30 PM, Brian E. Lavender > <[1][2][email protected]> > >wrote: > > > > there is no /etc/default/grub on my system. I installed with > > Xen-tools. > > I wonder if I add that file and a configuration setting if it > will > > use > > it? > > brian > > On Thu, Jul 26, 2018 at 12:55:06PM -0700, Kevin Lucas wrote: > > >It may depend on the distro but I believe it's in > > /etc/default/grub on > > >Debian. Run update-grub after your change to apply it. > > > > > >Kev. > > >On Thu, Jul 26, 2018, 12:02 PM > <[1][2]vox-tech-request@lists. > > [3]lugod.org> > > >wrote: > > > > > > Send vox-tech mailing list submissions to > > > [2][3][4][email protected] > > > To subscribe or unsubscribe via the World Wide Web, > visit > > > [3][4][5]http://lists.lugod.org/ > > mailman/listinfo/vox-tech > > > or, via email, send a message with subject or body > 'help' to > > > [4][5][6][email protected] > > > You can reach the person managing the list at > > > [5][6][7][email protected] > > > When replying, please edit your Subject line so it is > more > > specific > > > than "Re: Contents of vox-tech digest..." > > > Today's Topics: > > > 1. kernel options for grub (Brian E. Lavender) > > > -- > -- > > > > > -- > > > Message: 1 > > > Date: Thu, 26 Jul 2018 09:59:31 -0700 > > > From: "Brian E. Lavender" <[6][7][8][email protected]> > > > To: [7][8][9][email protected] > > > Subject: [vox-tech] kernel options for grub > > > Message-ID: <[8][9][10]20180726165931. > [email protected]> > > > Content-Type: text/plain; charset="utf-8" > > > I want the update-grub to add the following option > > > pti=off > > > to the auto generated kernels in /boot/grub/menu.lst > > > Where do I add the option? > > > > > > I se
Re: [vox-tech] vox-tech Digest, Vol 153, Issue 1
First: I didn't notice that you mentioned `/etc/grub.d/` in your first email. Sorry for the noise. The '.d' directories are a way to allow a configuration file to be built from disparate parts. You can imagine how a variety of different packages may all need to make changes to a single configuration file. Rather than having each package try to edit that file directly, they can simply add their config snippet to the '.d' directories as a file and it will be bundled together when the configuration file is built. The files are generally bundled/concatenated together in numerical order. In your case you probably want to edit '40_custom' to include something like `GRUB_CMDLINE_LINUX_DEFAULT=""`. After that you can run `update-grub` and you should see the changes next time you boot. A couple things to note: I haven't done this in a while so no guarantees/warranties :). Also, I'm not positive that "GRUB_CMDLINE_LINUX_DEFAULT" is the right variable, and you'll want to make sure that you include whatever previous options were in there originally, not just the one you want to add. Make sure you know what the working options are so you can enter them manually in case of an emergency since you don't want to end up with an unbootable system. All in all, you may need to play around with things a bit to get them working properly. On Thu, Jul 26, 2018 at 6:35 PM, Brian E. Lavender wrote: > Yes, I have the /etc/grub.d/ directory with a bunch of files. I am not > sure how to edit these files. > > 00_header > 05_debian_theme > 10_linux > 20_linux_xen > 30_os-prober > 30_uefi-firmware > 40_custom > 41_custom > > On Thu, Jul 26, 2018 at 04:38:27PM -0400, Nicholas Weigand wrote: > >Do you have an /etc/grub.d/ directory? I would think that would be the > >better place anyway since /etc/default/grub may be owned by the grub > >package and be liable to be overwritten. > > > >On Thu, Jul 26, 2018 at 4:30 PM, Brian E. Lavender <[1][email protected] > > > >wrote: > > > > there is no /etc/default/grub on my system. I installed with > > Xen-tools. > > I wonder if I add that file and a configuration setting if it will > > use > > it? > > brian > > On Thu, Jul 26, 2018 at 12:55:06PM -0700, Kevin Lucas wrote: > > >It may depend on the distro but I believe it's in > > /etc/default/grub on > > >Debian. Run update-grub after your change to apply it. > > > > > >Kev. > > >On Thu, Jul 26, 2018, 12:02 PM <[1][2]vox-tech-request@lists. > > lugod.org> > > >wrote: > > > > > > Send vox-tech mailing list submissions to > > > [2][3][email protected] > > > To subscribe or unsubscribe via the World Wide Web, visit > > > [3][4]http://lists.lugod.org/ > > mailman/listinfo/vox-tech > > > or, via email, send a message with subject or body 'help' to > > > [4][5][email protected] > > > You can reach the person managing the list at > > > [5][6][email protected] > > > When replying, please edit your Subject line so it is more > > specific > > > than "Re: Contents of vox-tech digest..." > > > Today's Topics: > > > 1. kernel options for grub (Brian E. Lavender) > > > > > > > > -- > > > Message: 1 > > > Date: Thu, 26 Jul 2018 09:59:31 -0700 > > > From: "Brian E. Lavender" <[6][7][email protected]> > > > To: [7][8][email protected] > > > Subject: [vox-tech] kernel options for grub > > > Message-ID: <[8][9][email protected]> > > > Content-Type: text/plain; charset="utf-8" > > > I want the update-grub to add the following option > > > pti=off > > > to the auto generated kernels in /boot/grub/menu.lst > > > Where do I add the option? > > > > > > I see /etc/grub.d/ > > > > > > I see a bunch of files there, but I have no clue where to > > > automatically > > > add this option so that it adds it to the kernel line for the > > > kernel. > > > brian > > > -- > > > Brian Lavender > > > [9][10]http://www.brie.com/brian/ > > > "There are two ways of constructing a software design. One > > way is to > > > make it so simple that there are obviously no deficiencies. > > And the > > > other > > > way is to make it so complicated that there are no obvious > > > deficiencies." > > > Professor C. A. R. Hoare > > > The 1980 Turing award lecture > > > -- next part -- > > > A non-text attachment was scrubbed... > > >
Re: [vox-tech] vox-tech Digest, Vol 153, Issue 1
Yes, I have the /etc/grub.d/ directory with a bunch of files. I am not sure how to edit these files. 00_header 05_debian_theme 10_linux 20_linux_xen 30_os-prober 30_uefi-firmware 40_custom 41_custom On Thu, Jul 26, 2018 at 04:38:27PM -0400, Nicholas Weigand wrote: >Do you have an /etc/grub.d/ directory? I would think that would be the >better place anyway since /etc/default/grub may be owned by the grub >package and be liable to be overwritten. > >On Thu, Jul 26, 2018 at 4:30 PM, Brian E. Lavender <[1][email protected]> >wrote: > > there is no /etc/default/grub on my system. I installed with > Xen-tools. > I wonder if I add that file and a configuration setting if it will > use > it? > brian > On Thu, Jul 26, 2018 at 12:55:06PM -0700, Kevin Lucas wrote: > >It may depend on the distro but I believe it's in > /etc/default/grub on > >Debian. Run update-grub after your change to apply it. > > > >Kev. > >On Thu, Jul 26, 2018, 12:02 PM <[1][2]vox-tech-request@lists. > lugod.org> > >wrote: > > > > Send vox-tech mailing list submissions to > > [2][3][email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > > [3][4]http://lists.lugod.org/ > mailman/listinfo/vox-tech > > or, via email, send a message with subject or body 'help' to > > [4][5][email protected] > > You can reach the person managing the list at > > [5][6][email protected] > > When replying, please edit your Subject line so it is more > specific > > than "Re: Contents of vox-tech digest..." > > Today's Topics: > > 1. kernel options for grub (Brian E. Lavender) > > > > > -- > > Message: 1 > > Date: Thu, 26 Jul 2018 09:59:31 -0700 > > From: "Brian E. Lavender" <[6][7][email protected]> > > To: [7][8][email protected] > > Subject: [vox-tech] kernel options for grub > > Message-ID: <[8][9][email protected]> > > Content-Type: text/plain; charset="utf-8" > > I want the update-grub to add the following option > > pti=off > > to the auto generated kernels in /boot/grub/menu.lst > > Where do I add the option? > > > > I see /etc/grub.d/ > > > > I see a bunch of files there, but I have no clue where to > > automatically > > add this option so that it adds it to the kernel line for the > > kernel. > > brian > > -- > > Brian Lavender > > [9][10]http://www.brie.com/brian/ > > "There are two ways of constructing a software design. One > way is to > > make it so simple that there are obviously no deficiencies. > And the > > other > > way is to make it so complicated that there are no obvious > > deficiencies." > > Professor C. A. R. Hoare > > The 1980 Turing award lecture > > -- next part -- > > A non-text attachment was scrubbed... > > Name: signature.asc > > Type: application/pgp-signature > > Size: 488 bytes > > Desc: not available > > URL: > > <[10][11]http://lists.lugod.org/pipermail/vox-tech/ > attachments/20180726/ > > 304a6f6e/attachment-0001.sig> > > -- > > Subject: Digest Footer > > ___ > > vox-tech mailing list > > [11][12][email protected] > > [12][13]http://lists.lugod.org/mailman/listinfo/vox-tech > > -- > > End of vox-tech Digest, Vol 153, Issue 1 > > > > > > References > > > >1. mailto:[14][email protected] > >2. mailto:[15][email protected] > >3. [16]http://lists.lugod.org/mailman/listinfo/vox-tech > >4. mailto:[17][email protected] > >5. mailto:[18][email protected] > >6. mailto:[19][email protected] > >7. mailto:[20][email protected] > >8. mailto:[21][email protected] > >9. [22]http://www.brie.com/brian/ > > 10. [23]http://lists.lugod.org/pipermail/vox-tech/ > attachments/20180726/304a6f6e/attachment-0001.sig > > 11. mailto:[24][email protected] > > 12. [25]http://lists.lugod.org/mailman/listinfo/vox-tech > > ___
Re: [vox-tech] vox-tech Digest, Vol 153, Issue 1
Do you have an /etc/grub.d/ directory? I would think that would be the better place anyway since /etc/default/grub may be owned by the grub package and be liable to be overwritten. On Thu, Jul 26, 2018 at 4:30 PM, Brian E. Lavender wrote: > there is no /etc/default/grub on my system. I installed with Xen-tools. > I wonder if I add that file and a configuration setting if it will use > it? > > brian > > On Thu, Jul 26, 2018 at 12:55:06PM -0700, Kevin Lucas wrote: > >It may depend on the distro but I believe it's in /etc/default/grub on > >Debian. Run update-grub after your change to apply it. > > > >Kev. > >On Thu, Jul 26, 2018, 12:02 PM <[1][email protected]> > >wrote: > > > > Send vox-tech mailing list submissions to > > [2][email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > > [3]http://lists.lugod.org/mailman/listinfo/vox-tech > > or, via email, send a message with subject or body 'help' to > > [4][email protected] > > You can reach the person managing the list at > > [5][email protected] > > When replying, please edit your Subject line so it is more specific > > than "Re: Contents of vox-tech digest..." > > Today's Topics: > > 1. kernel options for grub (Brian E. Lavender) > > > > > -- > > Message: 1 > > Date: Thu, 26 Jul 2018 09:59:31 -0700 > > From: "Brian E. Lavender" <[6][email protected]> > > To: [7][email protected] > > Subject: [vox-tech] kernel options for grub > > Message-ID: <[8][email protected]> > > Content-Type: text/plain; charset="utf-8" > > I want the update-grub to add the following option > > pti=off > > to the auto generated kernels in /boot/grub/menu.lst > > Where do I add the option? > > > > I see /etc/grub.d/ > > > > I see a bunch of files there, but I have no clue where to > > automatically > > add this option so that it adds it to the kernel line for the > > kernel. > > brian > > -- > > Brian Lavender > > [9]http://www.brie.com/brian/ > > "There are two ways of constructing a software design. One way is to > > make it so simple that there are obviously no deficiencies. And the > > other > > way is to make it so complicated that there are no obvious > > deficiencies." > > Professor C. A. R. Hoare > > The 1980 Turing award lecture > > -- next part -- > > A non-text attachment was scrubbed... > > Name: signature.asc > > Type: application/pgp-signature > > Size: 488 bytes > > Desc: not available > > URL: > > <[10]http://lists.lugod.org/pipermail/vox-tech/ > attachments/20180726/ > > 304a6f6e/attachment-0001.sig> > > -- > > Subject: Digest Footer > > ___ > > vox-tech mailing list > > [11][email protected] > > [12]http://lists.lugod.org/mailman/listinfo/vox-tech > > -- > > End of vox-tech Digest, Vol 153, Issue 1 > > > > > > References > > > >1. mailto:[email protected] > >2. mailto:[email protected] > >3. http://lists.lugod.org/mailman/listinfo/vox-tech > >4. mailto:[email protected] > >5. mailto:[email protected] > >6. mailto:[email protected] > >7. mailto:[email protected] > >8. mailto:[email protected] > >9. http://www.brie.com/brian/ > > 10. http://lists.lugod.org/pipermail/vox-tech/ > attachments/20180726/304a6f6e/attachment-0001.sig > > 11. mailto:[email protected] > > 12. http://lists.lugod.org/mailman/listinfo/vox-tech > > > ___ > > vox-tech mailing list > > [email protected] > > http://lists.lugod.org/mailman/listinfo/vox-tech > > > -- > Brian Lavender > http://www.brie.com/brian/ > > "There are two ways of constructing a software design. One way is to > make it so simple that there are obviously no deficiencies. And the other > way is to make it so complicated that there are no obvious deficiencies." > > Professor C. A. R. Hoare > The 1980 Turing award lecture > > ___ > vox-tech mailing list > [email protected] > http://lists.lugod.org/mailman/listinfo/vox-tech > > ___ vox-tech mailing list [email protected] http://lists.lugod.org/mailman/listinfo/vox-tech
Re: [vox-tech] vox-tech Digest, Vol 153, Issue 1
there is no /etc/default/grub on my system. I installed with Xen-tools. I wonder if I add that file and a configuration setting if it will use it? brian On Thu, Jul 26, 2018 at 12:55:06PM -0700, Kevin Lucas wrote: >It may depend on the distro but I believe it's in /etc/default/grub on >Debian. Run update-grub after your change to apply it. > >Kev. >On Thu, Jul 26, 2018, 12:02 PM <[1][email protected]> >wrote: > > Send vox-tech mailing list submissions to > [2][email protected] > To subscribe or unsubscribe via the World Wide Web, visit > [3]http://lists.lugod.org/mailman/listinfo/vox-tech > or, via email, send a message with subject or body 'help' to > [4][email protected] > You can reach the person managing the list at > [5][email protected] > When replying, please edit your Subject line so it is more specific > than "Re: Contents of vox-tech digest..." > Today's Topics: > 1. kernel options for grub (Brian E. Lavender) > > -- > Message: 1 > Date: Thu, 26 Jul 2018 09:59:31 -0700 > From: "Brian E. Lavender" <[6][email protected]> > To: [7][email protected] > Subject: [vox-tech] kernel options for grub > Message-ID: <[8][email protected]> > Content-Type: text/plain; charset="utf-8" > I want the update-grub to add the following option > pti=off > to the auto generated kernels in /boot/grub/menu.lst > Where do I add the option? > > I see /etc/grub.d/ > > I see a bunch of files there, but I have no clue where to > automatically > add this option so that it adds it to the kernel line for the > kernel. > brian > -- > Brian Lavender > [9]http://www.brie.com/brian/ > "There are two ways of constructing a software design. One way is to > make it so simple that there are obviously no deficiencies. And the > other > way is to make it so complicated that there are no obvious > deficiencies." > Professor C. A. R. Hoare > The 1980 Turing award lecture > -- next part -- > A non-text attachment was scrubbed... > Name: signature.asc > Type: application/pgp-signature > Size: 488 bytes > Desc: not available > URL: > <[10]http://lists.lugod.org/pipermail/vox-tech/attachments/20180726/ > 304a6f6e/attachment-0001.sig> > -- > Subject: Digest Footer > ___ > vox-tech mailing list > [11][email protected] > [12]http://lists.lugod.org/mailman/listinfo/vox-tech > -- > End of vox-tech Digest, Vol 153, Issue 1 > > > References > >1. mailto:[email protected] >2. mailto:[email protected] >3. http://lists.lugod.org/mailman/listinfo/vox-tech >4. mailto:[email protected] >5. mailto:[email protected] >6. mailto:[email protected] >7. mailto:[email protected] >8. mailto:[email protected] >9. http://www.brie.com/brian/ > 10. > http://lists.lugod.org/pipermail/vox-tech/attachments/20180726/304a6f6e/attachment-0001.sig > 11. mailto:[email protected] > 12. http://lists.lugod.org/mailman/listinfo/vox-tech > ___ > vox-tech mailing list > [email protected] > http://lists.lugod.org/mailman/listinfo/vox-tech -- Brian Lavender http://www.brie.com/brian/ "There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies." Professor C. A. R. Hoare The 1980 Turing award lecture signature.asc Description: PGP signature ___ vox-tech mailing list [email protected] http://lists.lugod.org/mailman/listinfo/vox-tech
Re: [vox-tech] vox-tech Digest, Vol 153, Issue 1
It may depend on the distro but I believe it's in /etc/default/grub on Debian. Run update-grub after your change to apply it. Kev. On Thu, Jul 26, 2018, 12:02 PM wrote: > Send vox-tech mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > http://lists.lugod.org/mailman/listinfo/vox-tech > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of vox-tech digest..." > > > Today's Topics: > >1. kernel options for grub (Brian E. Lavender) > > > -- > > Message: 1 > Date: Thu, 26 Jul 2018 09:59:31 -0700 > From: "Brian E. Lavender" > To: [email protected] > Subject: [vox-tech] kernel options for grub > Message-ID: <[email protected]> > Content-Type: text/plain; charset="utf-8" > > I want the update-grub to add the following option > > pti=off > > to the auto generated kernels in /boot/grub/menu.lst > > Where do I add the option? > > > I see /etc/grub.d/ > > > I see a bunch of files there, but I have no clue where to automatically > add this option so that it adds it to the kernel line for the kernel. > > brian > -- > Brian Lavender > http://www.brie.com/brian/ > > "There are two ways of constructing a software design. One way is to > make it so simple that there are obviously no deficiencies. And the other > way is to make it so complicated that there are no obvious deficiencies." > > Professor C. A. R. Hoare > The 1980 Turing award lecture > -- next part -- > A non-text attachment was scrubbed... > Name: signature.asc > Type: application/pgp-signature > Size: 488 bytes > Desc: not available > URL: < > http://lists.lugod.org/pipermail/vox-tech/attachments/20180726/304a6f6e/attachment-0001.sig > > > > -- > > Subject: Digest Footer > > ___ > vox-tech mailing list > [email protected] > http://lists.lugod.org/mailman/listinfo/vox-tech > > > -- > > End of vox-tech Digest, Vol 153, Issue 1 > > ___ vox-tech mailing list [email protected] http://lists.lugod.org/mailman/listinfo/vox-tech
