Contenu | Rechercher | Menus

Annonce

DVD, clés USB et t-shirts Ubuntu-fr disponibles sur la boutique En Vente Libre

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 09/02/2017, à 10:54

L_d_v_c@

[RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Bonjour,

Bodhi Linux est-elle une distribution GNU/Linux ?

Pour être une distribution GNU/Linux, l'accès aux sources est OBLIGATOIRE.

Or, je regarde de temps à autre, je n'ai jamais trouvé les sources. Peut-être ma faute.

Il y a bien une page de sources sur leur site, en vérifiant aujourd'hui : http://www.bodhilinux.com/w/source-code/

Mais BodhiBuilder System Remaster Tool renvoie une erreur 404.


Si on prend les sources d'une distribution Ubuntu, et qu'on les compile, qu'on génère l'image ISO, on est censé obtenir la même image que le DVD Ubuntu par exemple, à l'octet près. (évidemment, il faut se mettre dans la même configuration de version des logiciels à l'époque de la sortie du DVD).

C'est ce que m'expliquait en 2003 un ami d'université avec qui j'ai fait les études, il est devenu informaticien en S.S.I.I.

Bref, cet ami m'a présenté Debian en 2003, du temps des tentatives d'installations de Debian sur Cyrix à 200 MHz avec carte graphique S3 Trio sur bus AGP, qui n'a jamais fonctionné avec Debian, à l'époque. Et il murmurait des truc comme recompilation du noyau, ça ressemblait à des gros mots, pour les non-initiés tongue

Bref, il me soutenait que des gens indépendants lisaient les codes sources, vérifiaient que tout était ok, compilait et vérifiaient la concordance entre leur exécutable fraîchement compilé, et l'exécutable distribué pour les distribution…

Qu'en est-il pour Bodhi Linux, s'il-vous-plaît ?
Merci,
Cordialement,
L_d_v_c@

Dernière modification par L_d_v_c@ (Le 17/02/2017, à 10:33)


Bogue -1 : Derrière chaque bogue se cache constamment la faille humaine.
Les programmes conçus par méthodes formelles ne bogueront JAMAIS et ils n'auront pas besoin de mise à jour corrective, puisque tout fonctionnera comme prévu.
Abandon des GNU/Linux inharmonieux pour un bien meilleur projet : Haiku !

Hors ligne

#2 Le 14/02/2017, à 12:19

koshieIsYourDaddy

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Salut,

En quoi le fait qu'une partie du système soit fermé ait un rapport avec le fait que ça soit un Linux ou non? Est un GNU/Linux tout OS ayant comme noyau Linux et comme surcouche les outils GNU (tel que GCC si je ne m'abuse).

Par exemple, Android est un Linux mais pas un GNU/Linux. Bodhi Linux est basé sur Ubuntu c'est donc une distribution GNU/Linux.

De plus, d'autres distributions cloisonne un peu l'usage de leur OS. Si je ne m'abuse, qu'on m'insulte si je me trompe, mais RHEL (fait par Red Hat) est libre mais t'empêche d'utiliser leur dépôts si tu ne paie pas leur abonnement. Pour ceux qui veulent se démerder, comme les sources sont libres de droits (selon la GPL principalement), des petits malins ont sortie (notamment) CentOS qui est une copie exacte de RHEL, bug complient. Il n'y a que le logo et le nom qui change.

Pour être une distribution GNU/Linux il ne faut pas donner accès aux sources, c'est obligatoire selon la GPL mais techniquement je pourrai prendre les sources de Debian, le compiler, donner un résultat sans code source et hop. J'ai un GNU/Linux illégal, mais un GNU/Linux quand même.

Enfin, si Bodhi Linux ne donne pas ses sources, c'est probablement parce que ça existe déjà... C'est les sources d'Ubuntu. Ils ne sont pas obligés de mettre sous GPL les couches qu'ils ajoutent, elles peuvent parfaitement être propriétaire.

koshicalement

Dernière modification par koshieIsYourDaddy (Le 14/02/2017, à 12:20)

Hors ligne

#3 Le 16/02/2017, à 20:50

Comptesupprimé

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

koshieIsYourDaddy a écrit :

En quoi le fait qu'une partie du système soit fermé ait un rapport avec le fait que ça soit un Linux ou non?

Parce qu'en fait L_d_v_c@ n'a jamais parlé de système Linux mais de Gnu/Linux... Et si Gnu est un système libre au sens de la FSF alors ça a un très grand rapport avec le fait qu'il ne le soit pas, s'il ne respecte pas les règle d'une licence libre.

koshieIsYourDaddy a écrit :

GNU/Linux illégal, mais un GNU/Linux quand même.

La loi fait partie intégrante d'une licence, partant de là si ça va à l'encontre des lois qui régissent une licence, alors ça ne peut plus porter le nom de cette licence.

#4 Le 16/02/2017, à 22:17

koshieIsYourDaddy

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

On ne peut plus appeler ça un GNU/Linux? Mais les faits restent là d'un point de vue technique. Donc ça reste un Linux. Sinon un Windows cracké c'est quoi? Un firmware? Ca reste Windows.

Hors ligne

#5 Le 16/02/2017, à 22:34

Comptesupprimé

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Ça reste un logiciel avec un noyau Linux... mais ça ne peut pas porter le nom d'une licence libre puisque qu'il faut justement qu'il y ait certaines conditions dont celle-là en particulier (celle de distribuer les sources) pour être protégé par le nom et les lois (en vrai) qui fondent cette licence.

Mais tu peux appeler par les noms que tu veux, ce que tu veux, c'est pas grave en soi. Mais d'un point de vue logique, c'est faux et je ne vois pas trop à quoi ça peut servir de raisonner de cette manière.

#6 Le 16/02/2017, à 22:42

L_d_v_c@

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Bonsoir,
Voilà, une distribution GNU/Linux peut tolérer du code propriétaire sous forme d'exécutables, mais sans les sources de la distribution, la GNU n'est pas respectée (les 4 propriétés de GNU) et à partir de là, ce n'est pas du GNU/Linux.

La différence entre Android et GNU/Linux, on ne peut pas auditer Android sans l'accès au code.

De même on ne peut pas auditer les pilotes graphiques propriétaires.

Donc, sans les sources, on ne peut pas recompiler.


Bogue -1 : Derrière chaque bogue se cache constamment la faille humaine.
Les programmes conçus par méthodes formelles ne bogueront JAMAIS et ils n'auront pas besoin de mise à jour corrective, puisque tout fonctionnera comme prévu.
Abandon des GNU/Linux inharmonieux pour un bien meilleur projet : Haiku !

Hors ligne

#7 Le 16/02/2017, à 23:07

L_d_v_c@

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Et si Bodhi Linux n'est pas une distribution GNU/Linux, mais simplement un autre android, rien n'empêcherait Bodhi Linux d'incorporer des fonctions de non-liberté, au même titre qu'Android et Windows…


Bogue -1 : Derrière chaque bogue se cache constamment la faille humaine.
Les programmes conçus par méthodes formelles ne bogueront JAMAIS et ils n'auront pas besoin de mise à jour corrective, puisque tout fonctionnera comme prévu.
Abandon des GNU/Linux inharmonieux pour un bien meilleur projet : Haiku !

Hors ligne

#8 Le 17/02/2017, à 00:27

Fly0s

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Attention, l'accès aux sources est certes obligatoire, mais leur publication sur un dépôt publique (à la Github) non. Ils n'ont pas à "publier" les sources, ils ont à les fournir sur demande par contre.

En plus, c'est une distribution, donc ils peuvent se contenter de rediriger en amont pour les sources.

Enfin, la page incriminée (re)-fonctionne:
http://www.bodhilinux.com/w/source-code/

Vous allez vachement vite en besogne pour dire qu'ils sont dans l'illégalité...

En passant, le débat sur Linux ou GNU/Linux n'a rien à voir avec le schmilblick. La GPL oblige à donner un accès aux sources (et non à les "publier"), point. C'est le cas pour Android: le noyau respecte tout à fait la GPL (et le reste d'AOSP est dans l'ensemble sous licence Apache). Les blobs propriétaires, c'est autre chose et ça n'empêche pas le code du noyau d'être redistribué.

Par contre, il y a toujours le problème avec les paquets binaires: on fournit les paquets d'un côté, les sources de l'autre et rien ne permet d'affirmer que les dernières correspondent aux premiers (ce qui serait illégal vis-à-vis de la GPL, mais très difficile à détecter). C'est pour ça que Debian travaille sur des "reproducible builds" qui génèrent un binaire identique à partir des mêmes sources à chaque fois (paraît que c'est moins facile que ça en a l'air).

Hors ligne

#9 Le 17/02/2017, à 01:50

Compte anonymisé

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

"La GNU" ? Tu confonds avec la GPL. Un système GNU/Linux est un système qui utilise le noyau Linux et les outils du projet GNU.

La seule obligation de la GPL, sous laquelle est placé le code de GNU, est de publier le code sources des versions modifiées au cas où on distribue ces dernières ; rien n'interdit de les utiliser dans une distribution dont une autre partie est non libre.

On ne peut plus appeler ça du logiciel libre au sens de la FSF, mais GNU/Linux est un terme technique et il s'applique très bien ici.

Dernière modification par Compte anonymisé (Le 17/02/2017, à 01:51)

#10 Le 17/02/2017, à 02:09

L_d_v_c@

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Merci Fly0s,
les sources NE sont PAS pas toutes disponibles.
Pas de changement.
bodhibuilder erreur 404.
Est-ce que je me suis trompé ?
C'est possible, mais ça fait un moment que je regarde ce Bodhi Linux. Je n'ai jamais vu les sources facilement.

Pour Debian, en 2003, un ami universitaire qui était bien passionné par Debian et me l'a présenté, disait que le code était audité, et que des gens le compilaient et comparaient les exécutables, et qu'il fallait que ça corresponde. Sinon, alarme.

Maintenant, si toutes les versions de sources sont spécifiées, et la version du compilateur avec ses versions de librairie, c'est automatique, on doit retomber à l'octet prêt et avec les options de compilations que j'allais oublier, ensuite, si le préprocesseur ou le compilateur optimise la compilation de GCC, oui, est-ce que tout est maîtrisé, reste-il de l'aléatoire ? Pour ce soir, je me dis que la conversion source → exécutable est unique.

Je dormirais mieux smile

Bonne nuit et merci à tous !


Bogue -1 : Derrière chaque bogue se cache constamment la faille humaine.
Les programmes conçus par méthodes formelles ne bogueront JAMAIS et ils n'auront pas besoin de mise à jour corrective, puisque tout fonctionnera comme prévu.
Abandon des GNU/Linux inharmonieux pour un bien meilleur projet : Haiku !

Hors ligne

#11 Le 17/02/2017, à 02:23

L_d_v_c@

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

PersGDo a écrit :

"La GNU" ? Tu confonds avec la GPL. Un système GNU/Linux est un système qui utilise le noyau Linux et les outils du projet GNU.

La seule obligation de la GPL, sous laquelle est placé le code de GNU, est de publier le code sources des versions modifiées au cas où on distribue ces dernières ; rien n'interdit de les utiliser dans une distribution dont une autre partie est non libre.

On ne peut plus appeler ça du logiciel libre au sens de la FSF, mais GNU/Linux est un terme technique et il s'applique très bien ici.

Oui, pardon, les 4 libertés fondamentales…

https://www.gnu.org/philosophy/free-sw.fr.html a écrit :

Les quatre libertés essentielles

Un programme est un logiciel libre si vous, en tant qu'utilisateur de ce programme, avez les quatre libertés essentielles :

0) la liberté d'exécuter le programme comme vous voulez, pour n'importe quel usage (liberté 0) ;
1) la liberté d'étudier le fonctionnement du programme, et de le modifier pour qu'il effectue vos tâches informatiques comme vous le souhaitez (liberté 1) ; l'accès au code source est une condition nécessaire ;
2) la liberté de redistribuer des copies, donc d'aider votre voisin (liberté 2) ;
3) la liberté de distribuer aux autres des copies de vos versions modifiées (liberté 3) ; en faisant cela, vous donnez à toute la communauté une possibilité de profiter de vos changements ; l'accès au code source est une condition nécessaire.

Donc si Bodhi Linux pompe les sources Ubuntu sous licence G…, Bodhi Linux est obligé de fournir la version modifiée, car la licence du code ne peut être changé.

C'est un peu comme des compositions musicales déposées sous Licence Creatives Commons avec l'option «Partage dans les Mêmes Conditions» — Dans le cas où vous effectuez un remix, que vous transformez, ou créez à partir du matériel composant l'Oeuvre originale, vous devez diffuser l'Oeuvre modifiée dans les même conditions, c'est à dire avec la même licence avec laquelle l'Oeuvre originale a été diffusée.

Certaines licences ne peuvent être changées…

Et parfois, on peut décider d'abandonner des choses pour favoriser le partage (sur un montage électronique que j'ai conçu, j'ai passé la licence sous Creative Commons - sans la paternité - sans l'interdiction de commercialiser, sans l'interdiction de modifier et de garder les mêmes conditions de licence car je me suis dit que ce qui compte, est que ça fonctionne et que ça puisse fonctionner gratuitement - sans empêcher le commerce ou bloquer le projet qui n'évoluerait plus).


Bogue -1 : Derrière chaque bogue se cache constamment la faille humaine.
Les programmes conçus par méthodes formelles ne bogueront JAMAIS et ils n'auront pas besoin de mise à jour corrective, puisque tout fonctionnera comme prévu.
Abandon des GNU/Linux inharmonieux pour un bien meilleur projet : Haiku !

Hors ligne

#12 Le 17/02/2017, à 02:53

Fly0s

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Je viens de réaliser que BodhiLinux étant une distribution Debian/Ubuntu, les sources de TOUS les paquets sont disponibles via les dépôts "sources", donc à vrai dire, je vois absolument pas où est ton problème ? De quelles sources tu parles en fait, c'est pas très clair ?

Hors ligne

#13 Le 17/02/2017, à 08:32

L_d_v_c@

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Fly0s a écrit :

Je viens de réaliser que BodhiLinux étant une distribution Debian/Ubuntu, les sources de TOUS les paquets sont disponibles via les dépôts "sources", donc à vrai dire, je vois absolument pas où est ton problème ? De quelles sources tu parles en fait, c'est pas très clair ?

Je parle des sources qu'il faut récupérer et compiler pour obtenir BodhiLinux.
Si tu récupères les sources de Debian et que tu les compiles, tu obtiens Debian.
Si tu récupères les sources d'Ubuntu et que tu les compiles, tu obtiens Ubuntu.

Pour obetnir BodhiLinux, il faut récupérer ces sources : https://github.com/JeffHoogland/bodhibuilder sauf que ERREUR-404 !!!

Mais je viens de voir que puisque qu'Ubuntu n'est pas un système d'exploitation libre (Wikipédia). malgré le fait qu'Ubuntu incorpore des morceaux de GNU/GPL.

Ces morceaux de GNU/GPL seront définitivement GNU/GPL, et la propriété qui oblige de rendre le code disponible ne peut être omise pour ces morceaux GNU/GPL.

Enfin, il me semble que pendant un temps, peut-être encore maintenant, on pouvait récupérer les sources d'Ubuntu et les compiler. BodhiLinux étant basé sur Ubuntu, cela devrait être pareil car je suppose qu'Ubuntu a modifié des paquets de Debian qui sont eux-mêmes surement en GNU/GPL.

(Je n'ai jamais récupéré intégralement les sources d'une quelconque distribution puis recompilé).
Mais j'ai déjà laissé Ubuntu se recompiler automatiquement des parties d'Ubuntu à partir de lui-même avec les options d'optimisations processeurs optimisées mais je n'ai jamais osé lancer la recompilation intégrale puisque mes mesures de performances n'en valaient pas la peine.

Sinon, pour recompiler intégralement Ubuntu à partir de lui même, il y avait :
[Résolu] apt-build world (Récupérer les sources et optimiser CPU)
J'avais beau recompiler Audacity, Audacity est monocœur car l'algorithme est monocœur et n'utilisera qu'un cœur sur les douze. J'avais contacté l'équipe d'Audacity qui répondait que le multi-cœur n'était pas leur priorité. Donc, ça irait moins vite d'utiliser Audacity sur un processeur 1024 cœurs que sur un processeur double-cœur ou quad-core.

Mais je me suis rendu compte plus tard avec le RaspBerry Pi, que ça ne suffit pas de compiler avec les optimisations processeurs. Il faut que le matériel spécifique soit piloté ou géré par tout le système.
VLC sur RaspBerry Pi n'utilise pas le module de calculs parallèles SIMD.
OmxPlayer utilise le SIMD NÉON sur le RaspBerry Pi, ce qui permet de faire du calcul en parallèle en 16×

Virtuellement, c'est comme si les performances de l'ARM à 900MHz en 16× était comparé à un seul cœur à 15100 MHz. Je pense que le RaspBerry Pi 2 écrase les performances de calculs de pas mal de PC AMD/Intel. Mais c'est un autre débat. Les gens ne sont éblouis que par gigaoctets-téraoctets et gigahertz…

Il vaut mieux utiliser OmxPlayer que VLC sur un RaspBerry Pi.

Bon, sans les sources de BodhiLinux, on ne sait pas ce qui est dedans, donc je ne peux pas le recommander, c'est tout. Ubuntu est déjà passé sous la loupe des grands informaticiens… On sait à quoi s'en tenir pour Ubuntu.

Pour finir, un ordinateur qui écrase les performances des PC i7 par quatre ou cinq à la fois : L'AmigaOne X1000*.
L'AmigaOne X1000 est le contre-exemple des gigaoctets et gigahertz : c'est un double-cœur à 2 GHz qui est aussi performant que 5 processeurs i7 à 3GHz.

-le processeur Intel  Core i7 Extreme Edition 3960X score développe 177,730 MIPS à 3.33 GHz
-le processeur Intel Core i7 5960X développe 238,310 MIPS à 3.0 GHz
MIPS signifie Million d'Instructions Par Seconde.

*L'AmigaOne X1000 dispose d'une puce coprocesseur Xena qui travaille à 500 Mhz et développe jusqu'à 1000 MIPS avec une consommation électrique autour du watt (je ne parle que de la puce Xena XMOS).


Bogue -1 : Derrière chaque bogue se cache constamment la faille humaine.
Les programmes conçus par méthodes formelles ne bogueront JAMAIS et ils n'auront pas besoin de mise à jour corrective, puisque tout fonctionnera comme prévu.
Abandon des GNU/Linux inharmonieux pour un bien meilleur projet : Haiku !

Hors ligne

#14 Le 17/02/2017, à 09:20

Fly0s

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Ça m'a pris 5 minutes :
https://github.com/Deepspeed/bodhibuilder
Mais je vois pas en quoi ça va t'aider, c'est le truc qui à l'air de créer l'ISO.

Les paquets sont là:
https://github.com/JeffHoogland/bodhi3packages

Le script pour construire les paquets:
https://github.com/JeffHoogland/bodhibuildscripts

Tout ça était bien sur leur page "Open Source". Bref, je vois toujours pas où est ton problème ? Tout ça me semble bien respecter la GPL...

Après, oui, y a la définition d'une définition "libre" par la FSF, qui considère qu'il ne faut absolument pas de paquets ou blobs propriétaires, et qui condamne l'accès à des logiciels proprios. La liste est courte (et ne contient AUCUNE des distros majeures):
https://www.gnu.org/distros/free-distros.html
Du coup, cet argument pour disqualifier Ubuntu... disqualifie aussi Debian, OpenSUSE, Fedora, Arch, etc...

Hors ligne

#15 Le 17/02/2017, à 10:32

L_d_v_c@

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

Merci Fly0s, c'était juste une "vérification", puisque le script est disponible, n'est pas caché, il a des chances d'avoir été audité.
[Résolu]
Bodhi Linux n'est pas plus problématique qu'Ubuntu dans ces conditions.
----------
On parle du même Debian qui équipait l'espace public informatique de l'Université de BORDEAUX 1 entre 2002 et 2004 ?

Ce Debian ?

https://fr.wikipedia.org/wiki/Debian a écrit :

Debian (/de.bjan/) est une organisation communautaire et démocratique, dont le but est le développement de systèmes d'exploitation basés exclusivement sur des logiciels libres

.
Par défaut Debian est 100% libre, et permet effectivement après galères, d'installer des pilotes propriétaires. Je comprends rms, il est très stricte là-dessus et il a raison techniquement. Mais appliqué au matériel on se retrouve avec un ordinateur imposé par les convictions, et le matériel imposé par l'absence de choix.

Et voici l'ordinateur de Richard Stallman. Mais il a raison, et il a la chance de pouvoir rester cohérent avec lui-même et il ne peut pas faire de concession à ce niveau.

On avait presque le même pull rouge, le 19 mars 2013 à NIORT, j'ai hésité à lui serrer la main après la conférence avec les 3000 spectateurs. Il signait des autographes. Puis je venais de lire sa biographie autorisée de 357 pages, et je n'avais pas envie de lui serrer la main sans lui poser de question, rien que pour dire bonjour. Je respecte beaucoup ses travaux. Puis je n'étais pas en forme ce jour-là. 160 km aller-retour.

Et finalement, rms répondrait mieux à cette question : BodhiLinux est-elle une distribution GNU/Linux ? Ou BodhiLinux surfe-t-elle sur la confusion entre Linux et GNU/Linux ?

Voilà, ça me fait deux bonnes raisons de contacter rms wink


Bogue -1 : Derrière chaque bogue se cache constamment la faille humaine.
Les programmes conçus par méthodes formelles ne bogueront JAMAIS et ils n'auront pas besoin de mise à jour corrective, puisque tout fonctionnera comme prévu.
Abandon des GNU/Linux inharmonieux pour un bien meilleur projet : Haiku !

Hors ligne

#16 Le 17/02/2017, à 10:43

Fly0s

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

De rien ! wink

Euh, oui, on parle bien de ce Debian, en effet.

Pour ta dernière interrogation: y a le noyau Linux, y a les logiciels GNU, donc c'est du GNU/Linux. Y pas vraiment à tortiller. BodhiLinux ne surfe sur rien du tout à ce sujet.

Hors ligne

#17 Le 17/02/2017, à 20:12

Comptesupprimé

Re : [RÉSOLU] Bodhi Linux est-elle une distribution GNU/Linux ?

L_d_v_c@ a écrit :

Par défaut Debian est 100% libre, et permet effectivement après galères, d'installer des pilotes propriétaires. Je comprends rms, il est très stricte là-dessus et il a raison techniquement. Mais appliqué au matériel on se retrouve avec un ordinateur imposé par les convictions, et le matériel imposé par l'absence de choix.

Et voici l'ordinateur de Richard Stallman. Mais il a raison, et il a la chance de pouvoir rester cohérent avec lui-même et il ne peut pas faire de concession à ce niveau.

+1

Il fait son travail consciencieusement. Mais pour aller plus loin : il tire sa gloire de tout ça, à mon avis.

Son "humilité" (rms en minuscules tout ça) sans avoir besoin de brandiller ses Doctorats.... doit bien venir de quelque part (dans sa profonde satisfaction). tongue

Mais c'est compréhensible à son niveau, avec ce qu'il combat, avec ses moyens, il peut se permettre et d'ailleurs il le fait tranquillou. ^^

Soit on a la classe... soit on l'affiche. Lol