* [gentoo-user] gummiboot does not display new kernel
@ 2015-03-08 15:34 Stefan G. Weichinger
2015-03-08 15:59 ` Tom H
0 siblings, 1 reply; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-03-08 15:34 UTC (permalink / raw
To: gentoo-user
Hmm, what is my mistake ...
I compiled the latest gentoo-sources-3.19.1 with Canek's kerninst tool.
It is configured to generate a "loader-entry" for the gummiboot bootloader.
That bootloader is the default entry in the UEFI boot order and it works
... I can boot the older kernels ... but it does not show me the latest
kernel 3.19.1 .... but why?
I edited /boot/loader/loader.conf ... a changed timeout gets read ...
but 3.19.1 is never displayed.
-
See the content of my ESP here ->
# tree -L 1 /boot/loader/entries/
/boot/loader/entries/
├── e55a6b6a09bd2b1c50216272545a8d1f-3.18.6-gentoo.conf
├── e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
└── e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
# tree /boot/e55a6b6a09bd2b1c50216272545a8d1f/
/boot/e55a6b6a09bd2b1c50216272545a8d1f/
├── 3.18.6-gentoo
│ ├── initrd
│ └── kernel
├── 3.19.0-gentoo
│ ├── initrd
│ └── kernel
└── 3.19.1-gentoo
├── initrd
└── kernel
# tree -L 2 /boot
/boot
├── e55a6b6a09bd2b1c50216272545a8d1f
│ ├── 3.18.6-gentoo
│ ├── 3.19.0-gentoo
│ └── 3.19.1-gentoo
├── EFI
│ ├── Boot
│ ├── EFI
│ ├── gentoo
│ ├── grub_3
│ └── gummiboot
├── grub
│ ├── fonts
│ ├── grub.cfg
│ ├── grubenv
│ ├── locale
│ ├── themes
│ └── x86_64-efi
├── loader
│ ├── entries
│ └── loader.conf
└── memtest86plus
├── memtest
└── memtest.netbsd
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 15:34 [gentoo-user] gummiboot does not display new kernel Stefan G. Weichinger
@ 2015-03-08 15:59 ` Tom H
2015-03-08 16:10 ` Stefan G. Weichinger
2015-03-08 16:51 ` Canek Peláez Valdés
0 siblings, 2 replies; 31+ messages in thread
From: Tom H @ 2015-03-08 15:59 UTC (permalink / raw
To: Gentoo User
On Sun, Mar 8, 2015 at 11:34 AM, Stefan G. Weichinger <lists@xunil.at> wrote:
>
> I compiled the latest gentoo-sources-3.19.1 with Canek's kerninst tool.
>
> It is configured to generate a "loader-entry" for the gummiboot bootloader.
>
> That bootloader is the default entry in the UEFI boot order and it works
> ... I can boot the older kernels ... but it does not show me the latest
> kernel 3.19.1 .... but why?
>
> I edited /boot/loader/loader.conf ... a changed timeout gets read ...
> but 3.19.1 is never displayed.
Are the ownership and mode of
"e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
two others (although I'd assume that it wouldn't matter) and is it
formatted correctly?
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 15:59 ` Tom H
@ 2015-03-08 16:10 ` Stefan G. Weichinger
2015-03-08 16:37 ` Stefan G. Weichinger
2015-03-08 16:51 ` Tom H
2015-03-08 16:51 ` Canek Peláez Valdés
1 sibling, 2 replies; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-03-08 16:10 UTC (permalink / raw
To: gentoo-user
On 08.03.2015 16:59, Tom H wrote:
> Are the ownership and mode of
> "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
> two others (although I'd assume that it wouldn't matter) and is it
> formatted correctly?
Yes, I think so:
# ls -l /boot/loader/entries/
total 2
-rwxr-xr-x 1 root root 329 16. Feb 16:01
e55a6b6a09bd2b1c50216272545a8d1f-3.18.6-gentoo.conf
-rwxr-xr-x 1 root root 329 24. Feb 12:55
e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
-rwxr-xr-x 1 root root 329 8. Mär 15:20
e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
# cat /boot/loader/entries/e55a6b6a09bd2b1c50216272545a8d1f-3.1*
title gentoo
version 3.18.6-gentoo
machine-id e55a6b6a09bd2b1c50216272545a8d1f
linux /e55a6b6a09bd2b1c50216272545a8d1f/3.18.6-gentoo/kernel
initrd /e55a6b6a09bd2b1c50216272545a8d1f/3.18.6-gentoo/initrd
options quiet root=UUID=6ffdabbe-b277-49f8-afa8-146068be9c22
rootflags=subvol=__active/root init=/usr/lib/systemd/systemd
title gentoo
version 3.19.0-gentoo
machine-id e55a6b6a09bd2b1c50216272545a8d1f
linux /e55a6b6a09bd2b1c50216272545a8d1f/3.19.0-gentoo/kernel
initrd /e55a6b6a09bd2b1c50216272545a8d1f/3.19.0-gentoo/initrd
options quiet root=UUID=6ffdabbe-b277-49f8-afa8-146068be9c22
rootflags=subvol=__active/root init=/usr/lib/systemd/systemd
title gentoo
version 3.19.1-gentoo
machine-id e55a6b6a09bd2b1c50216272545a8d1f
linux /e55a6b6a09bd2b1c50216272545a8d1f/3.19.1-gentoo/kernel
initrd /e55a6b6a09bd2b1c50216272545a8d1f/3.19.1-gentoo/initrd
options quiet root=UUID=6ffdabbe-b277-49f8-afa8-146068be9c22
rootflags=subvol=__active/root init=/usr/lib/systemd/systemd
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:10 ` Stefan G. Weichinger
@ 2015-03-08 16:37 ` Stefan G. Weichinger
2015-03-08 16:53 ` Canek Peláez Valdés
` (2 more replies)
2015-03-08 16:51 ` Tom H
1 sibling, 3 replies; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-03-08 16:37 UTC (permalink / raw
To: gentoo-user
On 08.03.2015 17:10, Stefan G. Weichinger wrote:
> On 08.03.2015 16:59, Tom H wrote:
>
>> Are the ownership and mode of
>> "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
>> two others (although I'd assume that it wouldn't matter) and is it
>> formatted correctly?
>
> Yes, I think so:
>
> # ls -l /boot/loader/entries/
> total 2
> -rwxr-xr-x 1 root root 329 16. Feb 16:01
> e55a6b6a09bd2b1c50216272545a8d1f-3.18.6-gentoo.conf
>
> -rwxr-xr-x 1 root root 329 24. Feb 12:55
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
>
> -rwxr-xr-x 1 root root 329 8. Mär 15:20
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
moved e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf to simply
"stefan.conf" ... then it gets displayed (and boots fine as well)
maybe we should name the conf-files in a different way?
Stefan
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:37 ` Stefan G. Weichinger
@ 2015-03-08 16:53 ` Canek Peláez Valdés
2015-03-08 16:59 ` Tom H
2015-03-08 17:09 ` Canek Peláez Valdés
2 siblings, 0 replies; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-03-08 16:53 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 1288 bytes --]
On Sun, Mar 8, 2015 at 10:37 AM, Stefan G. Weichinger <lists@xunil.at>
wrote:
>
> On 08.03.2015 17:10, Stefan G. Weichinger wrote:
> > On 08.03.2015 16:59, Tom H wrote:
> >
> >> Are the ownership and mode of
> >> "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
> >> two others (although I'd assume that it wouldn't matter) and is it
> >> formatted correctly?
> >
> > Yes, I think so:
> >
> > # ls -l /boot/loader/entries/
> > total 2
> > -rwxr-xr-x 1 root root 329 16. Feb 16:01
> > e55a6b6a09bd2b1c50216272545a8d1f-3.18.6-gentoo.conf
> >
> > -rwxr-xr-x 1 root root 329 24. Feb 12:55
> > e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
> >
> > -rwxr-xr-x 1 root root 329 8. Mär 15:20
> > e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
>
> moved e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf to simply
> "stefan.conf" ... then it gets displayed (and boots fine as well)
>
> maybe we should name the conf-files in a different way?
I just followed the examples in the gummiboot homepage[1]. It's weird that
you need to change the name.
Regards.
[1] http://freedesktop.org/wiki/Software/gummiboot/
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #2: Type: text/html, Size: 1694 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:37 ` Stefan G. Weichinger
2015-03-08 16:53 ` Canek Peláez Valdés
@ 2015-03-08 16:59 ` Tom H
2015-03-08 17:09 ` Canek Peláez Valdés
2 siblings, 0 replies; 31+ messages in thread
From: Tom H @ 2015-03-08 16:59 UTC (permalink / raw
To: Gentoo User
On Sun, Mar 8, 2015 at 12:37 PM, Stefan G. Weichinger <lists@xunil.at> wrote:
>
> moved e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf to simply
> "stefan.conf" ... then it gets displayed (and boots fine as well)
>
> maybe we should name the conf-files in a different way?
I listed my "/boot" set up in my previous email.
It's from my single-boot laptop so the machine-id UUID directory and
file names are unnecessary.
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:37 ` Stefan G. Weichinger
2015-03-08 16:53 ` Canek Peláez Valdés
2015-03-08 16:59 ` Tom H
@ 2015-03-08 17:09 ` Canek Peláez Valdés
2015-03-08 18:10 ` Stefan G. Weichinger
2 siblings, 1 reply; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-03-08 17:09 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1.1: Type: text/plain, Size: 1132 bytes --]
On Sun, Mar 8, 2015 at 10:37 AM, Stefan G. Weichinger <lists@xunil.at>
wrote:
[...]
> moved e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf to simply
> "stefan.conf" ... then it gets displayed (and boots fine as well)
>
> maybe we should name the conf-files in a different way?
For the sake of testing it, I copied my 3.19.0 entry into a 3.18.9 and
3.19.1 entries and rebooted. Here it works fine Stefan (see attached
image); I don't know why it doesn't with yours.
I see you have some grub related files in your /boot directory. I don't
have those:
# tree -L 2 /boot
/boot
├── db93dd0e1382198eb26650c05430b171
│ ├── 3.18.9
│ ├── 3.19.0
│ └── 3.19.1
├── EFI
│ ├── Boot
│ ├── gummiboot
│ └── Microsoft
└── loader
├── entries
├── gentoo.bmp
└── loader.conf
10 directories, 2 files
I don't think it has anything to do, but AFAICS, it's the only difference.
Regards.
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #1.2: Type: text/html, Size: 1494 bytes --]
[-- Attachment #2: gummiboot.jpg --]
[-- Type: image/jpeg, Size: 136369 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 17:09 ` Canek Peláez Valdés
@ 2015-03-08 18:10 ` Stefan G. Weichinger
2015-03-08 19:57 ` Stefan G. Weichinger
0 siblings, 1 reply; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-03-08 18:10 UTC (permalink / raw
To: gentoo-user
On 08.03.2015 18:09, Canek Peláez Valdés wrote:
> For the sake of testing it, I copied my 3.19.0 entry into a 3.18.9 and
> 3.19.1 entries and rebooted. Here it works fine Stefan (see attached
> image); I don't know why it doesn't with yours.
>
> I see you have some grub related files in your /boot directory. I don't
> have those:
>
> # tree -L 2 /boot
> /boot
> ├── db93dd0e1382198eb26650c05430b171
> │ ├── 3.18.9
> │ ├── 3.19.0
> │ └── 3.19.1
> ├── EFI
> │ ├── Boot
> │ ├── gummiboot
> │ └── Microsoft
> └── loader
> ├── entries
> ├── gentoo.bmp
> └── loader.conf
>
> 10 directories, 2 files
>
> I don't think it has anything to do, but AFAICS, it's the only difference.
Yes, I played with grub in a second UEFI-"slot" to be able to boot from
iso-images. But that stuff was there when I installed 3.19.0 back then
... so ...
The UEFI-level of things won't matter, I assume. UEFI chooses and starts
gummiboot, from there the two bootloaders shouldn't collide, I think.
-
Additionally the same new kernel installed without a problem on my
thinkpad (3.19.1 ... with kerninst as well).
No idea.
But no big problem, I can edit that conf-file whenever I install a new
kernel. Sure, would be nice to solve.
thanks @all
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 18:10 ` Stefan G. Weichinger
@ 2015-03-08 19:57 ` Stefan G. Weichinger
2015-03-08 20:17 ` Canek Peláez Valdés
2015-03-08 20:21 ` Fernando Rodriguez
0 siblings, 2 replies; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-03-08 19:57 UTC (permalink / raw
To: gentoo-user
On 08.03.2015 19:10, Stefan G. Weichinger wrote:
> But no big problem, I can edit that conf-file whenever I install a new
> kernel. Sure, would be nice to solve.
fun fact:
compiled and installed 4.0.0-rc2 ... visible at boot time at first try
;-)
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 19:57 ` Stefan G. Weichinger
@ 2015-03-08 20:17 ` Canek Peláez Valdés
2015-03-08 21:35 ` Stefan G. Weichinger
2015-03-08 20:21 ` Fernando Rodriguez
1 sibling, 1 reply; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-03-08 20:17 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 498 bytes --]
On Sun, Mar 8, 2015 at 1:57 PM, Stefan G. Weichinger <lists@xunil.at> wrote:
>
> On 08.03.2015 19:10, Stefan G. Weichinger wrote:
>
> > But no big problem, I can edit that conf-file whenever I install a new
> > kernel. Sure, would be nice to solve.
>
> fun fact:
>
> compiled and installed 4.0.0-rc2 ... visible at boot time at first try
I hate heisenbugs.
Regards.
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #2: Type: text/html, Size: 629 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 19:57 ` Stefan G. Weichinger
2015-03-08 20:17 ` Canek Peláez Valdés
@ 2015-03-08 20:21 ` Fernando Rodriguez
2015-03-08 21:37 ` Stefan G. Weichinger
1 sibling, 1 reply; 31+ messages in thread
From: Fernando Rodriguez @ 2015-03-08 20:21 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 596 bytes --]
On Sunday, March 08, 2015 8:57:43 PM Stefan G. Weichinger wrote:
> On 08.03.2015 19:10, Stefan G. Weichinger wrote:
>
> > But no big problem, I can edit that conf-file whenever I install a new
> > kernel. Sure, would be nice to solve.
>
> fun fact:
>
> compiled and installed 4.0.0-rc2 ... visible at boot time at first try
>
> ;-)
>
>
>
>
Just a guess, if you move it back to the original name, does it boot?
Maybe there was something funny with the directory entry that confused the
bootloader's FAT driver and got fixed when you moved it.
--
Fernando Rodriguez
[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 819 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 20:21 ` Fernando Rodriguez
@ 2015-03-08 21:37 ` Stefan G. Weichinger
2015-03-08 22:20 ` Fernando Rodriguez
0 siblings, 1 reply; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-03-08 21:37 UTC (permalink / raw
To: gentoo-user
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
On 08.03.2015 21:21, Fernando Rodriguez wrote:
> Just a guess, if you move it back to the original name, does it
> boot? Maybe there was something funny with the directory entry that
> confused the bootloader's FAT driver and got fixed when you moved
> it.
will try .. right now I don't want to reboot .... some work to do ...
Maybe I should have partitioned the ESP bigger ... I chose 100M and
that fills up rather quickly (at 88% now ... no space for another
kernel+initrd ... why my initrd is 21M is another question ..)
S
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQIcBAEBCAAGBQJU/MESAAoJEClcuD1V0Pzm+RgQAIimJtS3GsCwipgqlzgWrLWE
yeX/cTRyPr7B+qqUlArgNo/2SQjLWnJ0+v/c1/jQ2YEdVLm/jNnIpZ5AUC2dFzid
WHTXT+oyO7vRqIB3k6fvxIP1aO21NOF8dQXtZLRsDXnS95lWN0GFXSyiN44wABgg
hnPyr7t7kq4VeIjBsVn09cVB1BxQxmbvCwEN1zYXKuAd19V9cSdWaxWt+AkdcTZv
oOozyYK57eyq3Vfb+PSBJMd13PLnQBnRzyZLnkJDrYxzpO2jnjm/x7ocT5UUTQno
SJVMf3wvApxEwYqhPDMNcqQs5Br5wetJxpRUZ824SgiYFPgCHmYAo7OBv8UM88oP
ANqRLcPgn+j4ZtLyYDx2/GpvHkm+0qQtJ3H78xns1I0X37jIMD/qdtws0Ef+vtBX
ocoPuYQwEtcNog1PoemYwHlfqZec9yZweq9sNAP8RgsD53x/7U2VO3LQGLOYTwRO
G6+1MdfEm8/bNqKHnw4CWbDYajXJ6CSGjhQEmKLSdXG4cPGLeCBn5zQq9w00Knnm
UW29KPhMjf29qZV2SYXyKCPwBH3gbhaj1M8WUx0IenO7oEDRwmaZ4+0hix0rgLbo
X+DW4GEexS/7+t4cHNOI3h8pSGUcDP5MA/0urn3/dAYbVfLHP7K0+OA6XlszdFI1
q55281mBH5e1Vmut+QNB
=TzrU
-----END PGP SIGNATURE-----
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 21:37 ` Stefan G. Weichinger
@ 2015-03-08 22:20 ` Fernando Rodriguez
2015-03-09 8:16 ` Stefan G. Weichinger
0 siblings, 1 reply; 31+ messages in thread
From: Fernando Rodriguez @ 2015-03-08 22:20 UTC (permalink / raw
To: gentoo-user
On Sunday, March 08, 2015 10:37:22 PM Stefan G. Weichinger wrote:
> On 08.03.2015 21:21, Fernando Rodriguez wrote:
>
> > Just a guess, if you move it back to the original name, does it
> > boot? Maybe there was something funny with the directory entry that
> > confused the bootloader's FAT driver and got fixed when you moved
> > it.
>
> will try .. right now I don't want to reboot .... some work to do ...
>
> Maybe I should have partitioned the ESP bigger ... I chose 100M and
> that fills up rather quickly (at 88% now ... no space for another
> kernel+initrd ... why my initrd is 21M is another question ..)
>
> S
Do you have proprietary video drivers in it? fglrx alone is 13 megs and if
it's for plymouth it doesnt use them so it's just taking space.
--
Fernando Rodriguez
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 22:20 ` Fernando Rodriguez
@ 2015-03-09 8:16 ` Stefan G. Weichinger
2015-03-10 13:45 ` J. Roeleveld
2015-04-02 21:06 ` Stefan G. Weichinger
0 siblings, 2 replies; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-03-09 8:16 UTC (permalink / raw
To: gentoo-user
On 08.03.2015 23:20, Fernando Rodriguez wrote:
> On Sunday, March 08, 2015 10:37:22 PM Stefan G. Weichinger wrote:
>> ... why my initrd is 21M is another question ..)
> Do you have proprietary video drivers in it? fglrx alone is 13 megs and if
> it's for plymouth it doesnt use them so it's just taking space.
Seems like, yes.
My dracut.conf was back to default (no options set) so it put everything
in there.
I now set
hostonly="yes"
and the initrd went from 21M to ~7M ... nice!
thanks!
-
I rebuilt all the kernels/initrds and now have these loader-entries:
# ls -l loader/entries/
total 2
-rwxr-xr-x 1 root root 329 9. Mär 09:04
e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
-rwxr-xr-x 1 root root 329 9. Mär 09:01
e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
-rwxr-xr-x 1 root root 311 9. Mär 09:06
e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc2.conf
-rwxr-xr-x 1 root root 329 8. Mär 17:34 stefan.conf
And the 3.19.1 still does not get displayed at boot time!
;-)
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-09 8:16 ` Stefan G. Weichinger
@ 2015-03-10 13:45 ` J. Roeleveld
2015-04-02 21:06 ` Stefan G. Weichinger
1 sibling, 0 replies; 31+ messages in thread
From: J. Roeleveld @ 2015-03-10 13:45 UTC (permalink / raw
To: gentoo-user
On Monday, March 09, 2015 09:16:35 AM Stefan G. Weichinger wrote:
> On 08.03.2015 23:20, Fernando Rodriguez wrote:
> > On Sunday, March 08, 2015 10:37:22 PM Stefan G. Weichinger wrote:
> >> ... why my initrd is 21M is another question ..)
> >
> > Do you have proprietary video drivers in it? fglrx alone is 13 megs and if
> > it's for plymouth it doesnt use them so it's just taking space.
>
> Seems like, yes.
>
> My dracut.conf was back to default (no options set) so it put everything
> in there.
>
> I now set
>
> hostonly="yes"
>
> and the initrd went from 21M to ~7M ... nice!
>
> thanks!
>
> -
>
> I rebuilt all the kernels/initrds and now have these loader-entries:
>
> # ls -l loader/entries/
> total 2
> -rwxr-xr-x 1 root root 329 9. Mär 09:04
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
> -rwxr-xr-x 1 root root 329 9. Mär 09:01
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
> -rwxr-xr-x 1 root root 311 9. Mär 09:06
> e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc2.conf
> -rwxr-xr-x 1 root root 329 8. Mär 17:34 stefan.conf
>
> And the 3.19.1 still does not get displayed at boot time!
>
> ;-)
Just a guess, but is it possible the length of the file is such that gummiboot
thinks the 3.19.0 and 3.19.1 config file is the same (based on
"right(filename,x)" with 'x' being the length up to ....3.19 ?
I don't use gummiboot (or UEFI yet) to test myself.
--
Joost
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-09 8:16 ` Stefan G. Weichinger
2015-03-10 13:45 ` J. Roeleveld
@ 2015-04-02 21:06 ` Stefan G. Weichinger
2015-04-02 21:14 ` Canek Peláez Valdés
2015-04-02 21:19 ` Fernando Rodriguez
1 sibling, 2 replies; 31+ messages in thread
From: Stefan G. Weichinger @ 2015-04-02 21:06 UTC (permalink / raw
To: gentoo-user
On 09.03.2015 09:16, Stefan G. Weichinger wrote:
> # ls -l loader/entries/
> total 2
> -rwxr-xr-x 1 root root 329 9. Mär 09:04
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
> -rwxr-xr-x 1 root root 329 9. Mär 09:01
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
> -rwxr-xr-x 1 root root 311 9. Mär 09:06
> e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc2.conf
> -rwxr-xr-x 1 root root 329 8. Mär 17:34 stefan.conf
>
> And the 3.19.1 still does not get displayed at boot time!
>
> ;-)
just as additional info:
same behavior with 4.0-rc6 ...
moving
e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc6.conf
to stefan4.conf
makes it appear at boot time
S
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-04-02 21:06 ` Stefan G. Weichinger
@ 2015-04-02 21:14 ` Canek Peláez Valdés
2015-04-02 21:21 ` Stefan G. Weichinger
2015-04-02 21:19 ` Fernando Rodriguez
1 sibling, 1 reply; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-04-02 21:14 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 1019 bytes --]
On Thu, Apr 2, 2015 at 3:06 PM, Stefan G. Weichinger <lists@xunil.at> wrote:
>
> On 09.03.2015 09:16, Stefan G. Weichinger wrote:
>
> > # ls -l loader/entries/
> > total 2
> > -rwxr-xr-x 1 root root 329 9. Mär 09:04
> > e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
> > -rwxr-xr-x 1 root root 329 9. Mär 09:01
> > e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
> > -rwxr-xr-x 1 root root 311 9. Mär 09:06
> > e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc2.conf
> > -rwxr-xr-x 1 root root 329 8. Mär 17:34 stefan.conf
> >
> > And the 3.19.1 still does not get displayed at boot time!
> >
> > ;-)
>
> just as additional info:
>
> same behavior with 4.0-rc6 ...
>
> moving
>
> e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc6.conf
>
> to stefan4.conf
>
> makes it appear at boot time
Stefan, this is kinda stupid, but have you tried to re-emerge gummiboot?
Regards.
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #2: Type: text/html, Size: 1296 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-04-02 21:06 ` Stefan G. Weichinger
2015-04-02 21:14 ` Canek Peláez Valdés
@ 2015-04-02 21:19 ` Fernando Rodriguez
1 sibling, 0 replies; 31+ messages in thread
From: Fernando Rodriguez @ 2015-04-02 21:19 UTC (permalink / raw
To: gentoo-user
On Thursday, April 02, 2015 11:06:44 PM Stefan G. Weichinger wrote:
> On 09.03.2015 09:16, Stefan G. Weichinger wrote:
>
> > # ls -l loader/entries/
> > total 2
> > -rwxr-xr-x 1 root root 329 9. Mär 09:04
> > e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
> > -rwxr-xr-x 1 root root 329 9. Mär 09:01
> > e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
> > -rwxr-xr-x 1 root root 311 9. Mär 09:06
> > e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc2.conf
> > -rwxr-xr-x 1 root root 329 8. Mär 17:34 stefan.conf
> >
> > And the 3.19.1 still does not get displayed at boot time!
> >
> > ;-)
>
> just as additional info:
>
> same behavior with 4.0-rc6 ...
>
> moving
>
> e55a6b6a09bd2b1c50216272545a8d1f-4.0-rc6.conf
>
> to stefan4.conf
>
> makes it appear at boot time
>
> S
>
Did you ever try moving back to the original filename to see if you can
reproduce it again?
--
Fernando Rodriguez
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:10 ` Stefan G. Weichinger
2015-03-08 16:37 ` Stefan G. Weichinger
@ 2015-03-08 16:51 ` Tom H
2015-03-08 16:56 ` Canek Peláez Valdés
1 sibling, 1 reply; 31+ messages in thread
From: Tom H @ 2015-03-08 16:51 UTC (permalink / raw
To: Gentoo User
On Sun, Mar 8, 2015 at 12:10 PM, Stefan G. Weichinger <lists@xunil.at> wrote:
> On 08.03.2015 16:59, Tom H wrote:
>> Are the ownership and mode of
>> "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
>> two others (although I'd assume that it wouldn't matter) and is it
>> formatted correctly?
>
> Yes, I think so:
>
> # ls -l /boot/loader/entries/
> total 2
> -rwxr-xr-x 1 root root 329 16. Feb 16:01
> e55a6b6a09bd2b1c50216272545a8d1f-3.18.6-gentoo.conf
>
> -rwxr-xr-x 1 root root 329 24. Feb 12:55
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.0-gentoo.conf
>
> -rwxr-xr-x 1 root root 329 8. Mär 15:20
> e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf
OK.
> # cat /boot/loader/entries/e55a6b6a09bd2b1c50216272545a8d1f-3.1*
> title gentoo
> version 3.18.6-gentoo
> machine-id e55a6b6a09bd2b1c50216272545a8d1f
> linux /e55a6b6a09bd2b1c50216272545a8d1f/3.18.6-gentoo/kernel
> initrd /e55a6b6a09bd2b1c50216272545a8d1f/3.18.6-gentoo/initrd
> options quiet root=UUID=6ffdabbe-b277-49f8-afa8-146068be9c22
> rootflags=subvol=__active/root init=/usr/lib/systemd/systemd
>
> title gentoo
> version 3.19.0-gentoo
> machine-id e55a6b6a09bd2b1c50216272545a8d1f
> linux /e55a6b6a09bd2b1c50216272545a8d1f/3.19.0-gentoo/kernel
> initrd /e55a6b6a09bd2b1c50216272545a8d1f/3.19.0-gentoo/initrd
> options quiet root=UUID=6ffdabbe-b277-49f8-afa8-146068be9c22
> rootflags=subvol=__active/root init=/usr/lib/systemd/systemd
>
> title gentoo
> version 3.19.1-gentoo
> machine-id e55a6b6a09bd2b1c50216272545a8d1f
> linux /e55a6b6a09bd2b1c50216272545a8d1f/3.19.1-gentoo/kernel
> initrd /e55a6b6a09bd2b1c50216272545a8d1f/3.19.1-gentoo/initrd
> options quiet root=UUID=6ffdabbe-b277-49f8-afa8-146068be9c22
> rootflags=subvol=__active/root init=/usr/lib/systemd/systemd
"version"?! I've never seen this and I don't use it.
This is my setup:
# lsr /boot
/boot:
System.map-3.19.0* System.map-4.0.0-rc1* config-3.19.0*
config-4.0.0-rc1* gummibootx64.efi* initramfs-3.19.1*
initramfs-4.0.0-rc2* vmlinuz-3.19.0* vmlinuz-4.0.0-rc1*
System.map-3.19.1* System.map-4.0.0-rc2* config-3.19.1*
config-4.0.0-rc2* initramfs-3.19.0* initramfs-4.0.0-rc1* loader/
vmlinuz-3.19.1* vmlinuz-4.0.0-rc2*
/boot/loader:
entries/ loader.conf*
/boot/loader/entries:
3.19.0.conf* 3.19.1.conf* 4.0.0-rc1.conf* 4.0.0-rc2.conf*
# cat /boot/loader/entries/4.0.0-rc2.conf
title 4.0.0-rc2
options root=UUID=b51ee688-137c-47ec-9635-b69434b4e1f8 ro
init=/lib/systemd/systemd
linux /vmlinuz-4.0.0-rc2
initrd /initramfs-4.0.0-rc2
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:51 ` Tom H
@ 2015-03-08 16:56 ` Canek Peláez Valdés
2015-03-08 17:15 ` Tom H
0 siblings, 1 reply; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-03-08 16:56 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 911 bytes --]
On Sun, Mar 8, 2015 at 10:51 AM, Tom H <tomh0665@gmail.com> wrote:
[ ... ]
> "version"?! I've never seen this and I don't use it.
From [1]:
"""
The entry configuration files understand the following keywords:
title text to show in the menu
version version string to append to the title when the title is not unique
machine-id machine identifier to append to the title when the title is not
unique
efi executable EFI image
options options to pass to the EFI image / kernel command line
linux linux kernel image (gummiboot still requires the kernel to have an
EFI stub)
initrd initramfs image (gummiboot just adds this as option initrd=)
splash BMP image file to show during bootup
"""
Regards.
[1] http://freedesktop.org/wiki/Software/gummiboot/
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #2: Type: text/html, Size: 1603 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:56 ` Canek Peláez Valdés
@ 2015-03-08 17:15 ` Tom H
0 siblings, 0 replies; 31+ messages in thread
From: Tom H @ 2015-03-08 17:15 UTC (permalink / raw
To: Gentoo User
On Sun, Mar 8, 2015 at 12:56 PM, Canek Peláez Valdés <caneko@gmail.com> wrote:
> On Sun, Mar 8, 2015 at 10:51 AM, Tom H <tomh0665@gmail.com> wrote:
>>
>> "version"?! I've never seen this and I don't use it.
>
> From [1]:
>
> title text to show in the menu
> version version string to append to the title when the title is not unique
> machine-id machine identifier to append to the title when the title is not
> unique
> efi executable EFI image
> options options to pass to the EFI image / kernel command line
> linux linux kernel image (gummiboot still requires the kernel to have an
> EFI stub)
> initrd initramfs image (gummiboot just adds this as option initrd=)
>
> [1] http://freedesktop.org/wiki/Software/gummiboot/
Thanks. I'm sure that I've read this page in the past so I must've
either ignored or forgotten the title/version combo. I've just checked
the Arch and Gentoo wikis and neither mention "version" so I'm in more
or less good company.
And not any closer to understanding the reason for Stefan's problem. :(
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 15:59 ` Tom H
2015-03-08 16:10 ` Stefan G. Weichinger
@ 2015-03-08 16:51 ` Canek Peláez Valdés
2015-03-08 17:00 ` Tom H
2015-03-08 17:05 ` Neil Bothwick
1 sibling, 2 replies; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-03-08 16:51 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 1071 bytes --]
On Sun, Mar 8, 2015 at 9:59 AM, Tom H <tomh0665@gmail.com> wrote:
>
> On Sun, Mar 8, 2015 at 11:34 AM, Stefan G. Weichinger <lists@xunil.at>
wrote:
> >
> > I compiled the latest gentoo-sources-3.19.1 with Canek's kerninst tool.
> >
> > It is configured to generate a "loader-entry" for the gummiboot
bootloader.
> >
> > That bootloader is the default entry in the UEFI boot order and it works
> > ... I can boot the older kernels ... but it does not show me the latest
> > kernel 3.19.1 .... but why?
> >
> > I edited /boot/loader/loader.conf ... a changed timeout gets read ...
> > but 3.19.1 is never displayed.
>
> Are the ownership and mode of
> "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
> two others (although I'd assume that it wouldn't matter) and is it
> formatted correctly?
The /boot partition in UEFI systems needs to be vfat. Permissions are not
gonna matter that much in that.
Regards.
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #2: Type: text/html, Size: 1348 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:51 ` Canek Peláez Valdés
@ 2015-03-08 17:00 ` Tom H
2015-03-08 17:05 ` Neil Bothwick
1 sibling, 0 replies; 31+ messages in thread
From: Tom H @ 2015-03-08 17:00 UTC (permalink / raw
To: Gentoo User
On Sun, Mar 8, 2015 at 12:51 PM, Canek Peláez Valdés <caneko@gmail.com> wrote:
>
> The /boot partition in UEFI systems needs to be vfat. Permissions are not
> gonna matter that much in that.
Very true. Stupid of me...
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 16:51 ` Canek Peláez Valdés
2015-03-08 17:00 ` Tom H
@ 2015-03-08 17:05 ` Neil Bothwick
2015-03-08 17:11 ` Canek Peláez Valdés
2015-03-08 17:23 ` Tom H
1 sibling, 2 replies; 31+ messages in thread
From: Neil Bothwick @ 2015-03-08 17:05 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 670 bytes --]
On Sun, 8 Mar 2015 10:51:38 -0600, Canek Peláez Valdés wrote:
> > Are the ownership and mode of
> > "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
> > two others (although I'd assume that it wouldn't matter) and is it
> > formatted correctly?
>
> The /boot partition in UEFI systems needs to be vfat. Permissions are
> not gonna matter that much in that.
But filename lengths may do. What is the maximum length for FAT32? Is it
possible both files are considered the same?
--
Neil Bothwick
Programming Language: (n.) a shorthand way of describing a series of bugs
to a computer or a programmer.
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 181 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 17:05 ` Neil Bothwick
@ 2015-03-08 17:11 ` Canek Peláez Valdés
2015-03-11 7:11 ` J. Roeleveld
2015-03-08 17:23 ` Tom H
1 sibling, 1 reply; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-03-08 17:11 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 934 bytes --]
On Sun, Mar 8, 2015 at 11:05 AM, Neil Bothwick <neil@digimed.co.uk> wrote:
>
> On Sun, 8 Mar 2015 10:51:38 -0600, Canek Peláez Valdés wrote:
>
> > > Are the ownership and mode of
> > > "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
> > > two others (although I'd assume that it wouldn't matter) and is it
> > > formatted correctly?
> >
> > The /boot partition in UEFI systems needs to be vfat. Permissions are
> > not gonna matter that much in that.
>
> But filename lengths may do. What is the maximum length for FAT32? Is it
> possible both files are considered the same?
In that case, it would not work in my case, and it does (see my last
reply). Besides, it has been working with those filenames for months now.
FAT32 supports (IIRC) 256 long filenames.
Regards.
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #2: Type: text/html, Size: 1137 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 17:11 ` Canek Peláez Valdés
@ 2015-03-11 7:11 ` J. Roeleveld
2015-03-11 7:14 ` Canek Peláez Valdés
0 siblings, 1 reply; 31+ messages in thread
From: J. Roeleveld @ 2015-03-11 7:11 UTC (permalink / raw
To: gentoo-user
On Sunday, March 08, 2015 11:11:49 AM Canek Peláez Valdés wrote:
> On Sun, Mar 8, 2015 at 11:05 AM, Neil Bothwick <neil@digimed.co.uk> wrote:
> > On Sun, 8 Mar 2015 10:51:38 -0600, Canek Peláez Valdés wrote:
> > > > Are the ownership and mode of
> > > > "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
> > > > two others (although I'd assume that it wouldn't matter) and is it
> > > > formatted correctly?
> > >
> > > The /boot partition in UEFI systems needs to be vfat. Permissions are
> > > not gonna matter that much in that.
> >
> > But filename lengths may do. What is the maximum length for FAT32? Is it
> > possible both files are considered the same?
>
> In that case, it would not work in my case, and it does (see my last
> reply). Besides, it has been working with those filenames for months now.
>
> FAT32 supports (IIRC) 256 long filenames.
Canek,
I don't see these long filenames in your filetree-listing.
You have a directory with the UUID, but then just the kernel-version numbers.
Or am I looking at the wrong email?
--
Joost
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-11 7:11 ` J. Roeleveld
@ 2015-03-11 7:14 ` Canek Peláez Valdés
0 siblings, 0 replies; 31+ messages in thread
From: Canek Peláez Valdés @ 2015-03-11 7:14 UTC (permalink / raw
To: gentoo-user
[-- Attachment #1: Type: text/plain, Size: 1130 bytes --]
On Wed, Mar 11, 2015 at 1:11 AM, J. Roeleveld <joost@antarean.org> wrote:
[...]
> Canek,
>
> I don't see these long filenames in your filetree-listing.
> You have a directory with the UUID, but then just the kernel-version
numbers.
>
> Or am I looking at the wrong email?
You are:
# tree -l /boot/loader/
/boot/loader/
├── entries
│ ├── db93dd0e1382198eb26650c05430b171-3.18.9.conf
│ ├── db93dd0e1382198eb26650c05430b171-3.19.0.conf
│ └── db93dd0e1382198eb26650c05430b171-3.19.1.conf
├── gentoo.bmp
└── loader.conf
1 directory, 5 files
# tree -l /boot/db93dd0e1382198eb26650c05430b171/
/boot/db93dd0e1382198eb26650c05430b171/
├── 3.18.9
│ ├── initrd
│ └── kernel
├── 3.19.0
│ ├── initrd
│ └── kernel
└── 3.19.1
├── initrd
└── kernel
Here it works. What's more, Stefan said it worked in another machine of
his. Seems like a heisenbug.
Regards.
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
[-- Attachment #2: Type: text/html, Size: 1514 bytes --]
^ permalink raw reply [flat|nested] 31+ messages in thread
* Re: [gentoo-user] gummiboot does not display new kernel
2015-03-08 17:05 ` Neil Bothwick
2015-03-08 17:11 ` Canek Peláez Valdés
@ 2015-03-08 17:23 ` Tom H
1 sibling, 0 replies; 31+ messages in thread
From: Tom H @ 2015-03-08 17:23 UTC (permalink / raw
To: Gentoo User
On Sun, Mar 8, 2015 at 1:05 PM, Neil Bothwick <neil@digimed.co.uk> wrote:
> On Sun, 8 Mar 2015 10:51:38 -0600, Canek Peláez Valdés wrote:
>>>
>>> Are the ownership and mode of
>>> "e55a6b6a09bd2b1c50216272545a8d1f-3.19.1-gentoo.conf" the same as the
>>> two others (although I'd assume that it wouldn't matter) and is it
>>> formatted correctly?
>>
>> The /boot partition in UEFI systems needs to be vfat. Permissions are
>> not gonna matter that much in that.
>
> But filename lengths may do. What is the maximum length for FAT32? Is it
> possible both files are considered the same?
It's 255 or 256.
^ permalink raw reply [flat|nested] 31+ messages in thread
end of thread, other threads:[~2015-04-02 21:28 UTC | newest]
Thread overview: 31+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-03-08 15:34 [gentoo-user] gummiboot does not display new kernel Stefan G. Weichinger
2015-03-08 15:59 ` Tom H
2015-03-08 16:10 ` Stefan G. Weichinger
2015-03-08 16:37 ` Stefan G. Weichinger
2015-03-08 16:53 ` Canek Peláez Valdés
2015-03-08 16:59 ` Tom H
2015-03-08 17:09 ` Canek Peláez Valdés
2015-03-08 18:10 ` Stefan G. Weichinger
2015-03-08 19:57 ` Stefan G. Weichinger
2015-03-08 20:17 ` Canek Peláez Valdés
2015-03-08 21:35 ` Stefan G. Weichinger
2015-03-08 20:21 ` Fernando Rodriguez
2015-03-08 21:37 ` Stefan G. Weichinger
2015-03-08 22:20 ` Fernando Rodriguez
2015-03-09 8:16 ` Stefan G. Weichinger
2015-03-10 13:45 ` J. Roeleveld
2015-04-02 21:06 ` Stefan G. Weichinger
2015-04-02 21:14 ` Canek Peláez Valdés
2015-04-02 21:21 ` Stefan G. Weichinger
2015-04-02 21:27 ` Stefan G. Weichinger
2015-04-02 21:19 ` Fernando Rodriguez
2015-03-08 16:51 ` Tom H
2015-03-08 16:56 ` Canek Peláez Valdés
2015-03-08 17:15 ` Tom H
2015-03-08 16:51 ` Canek Peláez Valdés
2015-03-08 17:00 ` Tom H
2015-03-08 17:05 ` Neil Bothwick
2015-03-08 17:11 ` Canek Peláez Valdés
2015-03-11 7:11 ` J. Roeleveld
2015-03-11 7:14 ` Canek Peláez Valdés
2015-03-08 17:23 ` Tom H
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox