/* Topic des codeurs couche-tard [2] */

tshirtman · Le 10/12/2010, à 23:31

Pylade a écrit :

ArkSeth a écrit :
[…]
Pylade a écrit :
Mieux. Nous parlons d'un shell.
Ouais, c'est vrai que le mot peut être prit autrement, Enlightenment et Windows Explorer sont aussi désignés comme ça
Je voulais dire que ce n'est pas qu'un truc qui exécute bêtement des commandes. C'est un programme interactif, derrière lequel il y a un utilisateur. C'est cela un shell pour moi…
Mais bon, ça n'empêche pas dash de porter fièrement son sh à la fin…

ben c'est un shell aussi, mais plus limité…il se contente de faire interpréteur de commande…

un shell, c'est une interface vers l'OS, ça peut être graphique, textuel ou tout ce que tu veux… le but est de donner un accès facilité aux fonctions de l'OS…

mais genre ce serait je pense assez aberrant de faire des scripts en zsh…

Rolinh · Le 10/12/2010, à 23:54

grim7reaper a écrit :

Rolinh a écrit :
grim7reaper a écrit :
(cela dit, j'ai peut-être été traumatisé par le Scheme)
On dit Racket maintenant
Nan, le Scheme n'est pas mort.
J'en ai fait l'an dernier

Bah je n'ai pas dit le contraire. Sauf que maintenant cela s'appelle Racket

@tshirtman: c'est bien ce que je dis depuis le début: zsh est prévu pour être interractif, pas pour faire des scripts. De loin, c'est un peu la même différence qu'entre csh et tcsh.

grim7reaper · Le 10/12/2010, à 23:58

Rolinh a écrit :

Bah je n'ai pas dit le contraire. Sauf que maintenant cela s'appelle Racket

Non.

Wikipedia a écrit :

Racket (formerly called PLT Scheme) is a programming language derived from Scheme
[…]
On June 7th, 2010, PLT Scheme was renamed Racket to emphasize how far Racket had diverged from the original Scheme programming language.

J'ai dit que j'avais fait du Scheme, pas du PLT-machin_truc…

Dernière modification par grim7reaper (Le 10/12/2010, à 23:59)

Rolinh · Le 11/12/2010, à 00:02

Autant (au temps) pour moi

gnuuat · Le 11/12/2010, à 00:34

Au temps.

Pylades · Le 11/12/2010, à 01:31

'tain, à cause de vous j'ai essayé zsh, c'est un enfer à configurer. Par exemple, quand on cherche dans l'historique, comment faire pour que le curseur se position à la fin de la ligne et non pas au début ? Et puis pour le prompt, j'y ai passé un temps fou (il faut dire que j'ai un prompt kikoolol). D'ailleurs, il ne semble pas possible de remplacer % par $, c'est bien dommage…

Bref, ça ne vaut pas bash pour la simplicité.

grim7reaper · Le 11/12/2010, à 01:44

Boarf, comme j'ai dit je ne suis pas exigeant donc moi la config a été rapide.
Faudra juste que je regarde si je veux récupérer mon vieux prompt (pour l'instant j'ai le truc de kikoolol là , adam2 je crois).

Bref, ça ne vaut pas bash pour la simplicité.

C'est comme dire que Vim ou Emacs ne valent pas nano pour sa simplicité

Dernière modification par grim7reaper (Le 11/12/2010, à 01:46)

kinouchou · Le 11/12/2010, à 01:45

@ArkSeth tu m'intéresses avec ton lisp, faut qu'on en parle un de ces jours

Pylades · Le 11/12/2010, à 01:46

grim7reaper a écrit :

[…]
Faudra juste que je regarde si je veux récupérer mon vieux prompt (pour l'instant j'ai le truc de kikoolol là , adam2 je crois).

Encore pire que le mien ! ^^

Si tu me donnes vite ton ancien prompt, je suis à peu près capable de te le traduire, maintenant.

grim7reaper a écrit :

Pylade a écrit :
Bref, ça ne vaut pas bash pour la simplicité.
C'est comme dire que Vim ou Emacs ne valent pas nano pour sa simplicité

J'avoue ; c'était du vilain troll pas beau.
Mais cependant, ça ne change rien au fait que zsh soit un peu trop dur à configurer.

Dernière modification par Pylade (Le 11/12/2010, à 01:49)

grim7reaper · Le 11/12/2010, à 01:51

\033[1;31m\u\033[34m@\033[32m\h \033[33m\W]\033[34m$\033[0m

D'ailleurs, faudrait que je pense sérieusement à faire un truc un peu moins tape-à-l'œil (mais bon, quand on a des goûts de chiottes pour le choix des couleurs…).
En root c'est plus simple, tout est en rouge ^_^

Pylade a écrit :

Mais cependant, ça ne change rien au fait que zsh soit un peu trop dur à configurer.

C'est quoi qui te pose problème (hormis ton histoire de recherche incrémentale dans l'historique) ?

Dernière modification par grim7reaper (Le 11/12/2010, à 01:53)

nesthib · Le 11/12/2010, à 02:02

plop

Sir Na Kraïou · Le 11/12/2010, à 02:32

pouët

Pylades · Le 11/12/2010, à 02:36

grim7reaper a écrit :

\033[1;31m\u\033[34m@\033[32m\h \033[33m\W]\033[34m$\033[0m
D'ailleurs, faudrait que je pense sérieusement à faire un truc un peu moins tape-à-l'œil (mais bon, quand on a des goûts de chiottes pour le choix des couleurs…).
En root c'est plus simple, tout est en rouge ^_^

Ah ouais, tu as un prompt qui a toujours un $ pour quand tu es simple utilisateur…
Bon, je n'ai pas réussi à reproduire exactement ton prompt, mais je m'en approche beaucoup. Tu remarqueras peut-être une légère différence si tu te ballades un jour à la racine.
Bon, j'ai fait ça à la sale, avec des U+1B dedans, donc je te mets un lien : http://pyl.alwaysdata.net/files/prompt_zsh/.zshenv

grim7reaper a écrit :

Pylade a écrit :
Mais cependant, ça ne change rien au fait que zsh soit un peu trop dur à configurer.
C'est quoi qui te pose problème (hormis ton histoire de recherche incrémentale dans l'historique) ?

Plusieurs choses, mais surtout le fait qu'il soit impossible de trouver un manuel de qualité expliquant bien et clairement comment configurer ça. Là où s'arrête l'analogie avec Nano et Vim, c'est que Vim, lui, dispose d'une documentation de grande qualité…

grim7reaper · Le 11/12/2010, à 02:45

Merci

Pylade a écrit :

Ah ouais, tu as un prompt qui a toujours un $ pour quand tu es simple utilisateur…

Je crois que c'était déjà comme ça à la base en fait.

Bon, je n'ai pas réussi à reproduire exactement ton prompt, mais je m'en approche beaucoup. Tu remarqueras peut-être une légère différence si tu te ballades un jour à la racine.

Ha ouais, bof rien de bien méchant.

U+1B ?

Plusieurs choses, mais surtout le fait qu'il soit impossible de trouver un manuel de qualité expliquant bien et clairement comment configurer ça. Là où s'arrête l'analogie avec Nano et Vim, c'est que Vim, lui, dispose d'une documentation de grande qualité…

Oui, c'est vrai que je n'ai rien trouvé de probant moi aussi.

Dernière modification par grim7reaper (Le 11/12/2010, à 03:08)

Pylades · Le 11/12/2010, à 02:51

grim7reaper a écrit :

[…]
U+1B ?
[…]

C'est le caractère d'échappement, utilisé par les terminaux. Je n'ai pas trouvé mieux que de le mettre en vrac dans le PS1.

.

Dernière modification par Pylade (Le 11/12/2010, à 03:03)

grim7reaper · Le 11/12/2010, à 03:08

Ok

nesthib · Le 11/12/2010, à 03:18

Кຼزດ · Le 11/12/2010, à 03:22

bump

samυncle · Le 11/12/2010, à 04:24

Compteur du TdCCT · Le 11/12/2010, à 07:42

Scores totaux, depuis le début :

1) 2052    nesthib
2) 1955    samuncle
3) 1635    Pylade
4) 1281    Кຼزດ
5) 1048    cm-t
6) 948+5  grim7reaper /* ./viewtopic.php?pid=3486252#p3486252 */
7) 710    \\Ouranos//
8) 702    Р☢w ! ✰ :mad: ✰ (эй !)
9) 677    helly
10) 449    gnuuat
11) 430    Lagierl
12) 309    tshirtman
13) 196    Askelon
14) 172    nathéo
15) 167    Kanor
16) 121    ǤƦƯƝƬ
17) 93    petifrancais
18) 78    edge_one
18) 78    pierguiard
20) 70    gulp
21) 62    The Uploader
22) 59    kamui57
23) 37    ilagas
24) 32    Le Rouge
25) 30    keny
26) 25    GentooUser
27) 24    ไ୦บเઢ'
28) 20    Morgiver
28) 20    CROWD
28) 20    xapantu
31) 18    Ph3nix_
32) 15    timsy
33) 14    kouskous
33) 14    Steap
35) 12    stratoboy
35) 12    sailing
35) 12    Sherwood51
35) 12    sakul
39) 11    alexises
39) 11    Crocoii
41) 10    Toineo
41) 10    NutMotion
41) 10    pseudovingtcinqcaracteres
41) 10    pfriedZ
45) 8    Mornagest
46) 7    Vista
47) 6    Zeibux
47) 6    ubuntlin
47) 6    asma.geek
50) 5    tendances-tdct
50) 5    kinouchou
52) 4    danychou56
52) 4    Neros
52) 4    Biaise
52) 4    totoflute
52) 4    pinballyoda ㋛
52) 4    Rolinh
58) 2    SoJaS
58) 2    ceric
60) 1    geenux

Compteur du TdCCT · Le 11/12/2010, à 07:42

Scores de la période en cours :

1) 75    nesthib
2) 65    samuncle
3) 64    Кຼزດ
4) 61    grim7reaper
5) 48    Pylade
6) 41    cm-t
7) 22    Lagierl
7) 22    gnuuat
9) 21    helly
10) 16    tshirtman
11) 12    sakul
12) 11    \\Ouranos//
12) 11    Р☢w ! ✰ :mad: ✰ (эй !)
14) 10    pierguiard
15) 9    Steap
16) 5    kinouchou
17) 4    Sherwood51
17) 4    Rolinh
19) 3    The Uploader
20) 1    xapantu

Rolinh · Le 11/12/2010, à 08:29

gnuuat a écrit :

Au temps.

Effectivement, cela semble plus juste. Apparemment, on peut aussi dure autant mais je vais m'en tenir à ce que dis l'Académie française.

La conf de zsh n'est pas forcément évidente, comme tout outil très personnalisable. Ce n'est pas pour rien que j'avais partagé ma conf ici
J'aime bien mon prompt notamment (avec changement de couleur du path en fonction des droits sur le fichier, changement de couleur en fonction de l'hôte).

Et puisque vous parlez de vim, n'oubliez pas d'activer le mode vi (insert est le mode par défaut)!

helly · Le 11/12/2010, à 11:10

Bon bha grim, je sèche .

grim7reaper · Le 11/12/2010, à 11:46

Ok, bah voilà le résultat.

import Data.List (findIndex, group)

problem_12 :: String
problem_12 = case findIndex solution (map (divisor primes) triangle) of
                Just index -> show $ triangle !! index
                Nothing    -> "There's something rotten in the state of Denmark"

-- Triangle numbers 
triangle :: (Integral a) => [a]
triangle = [(x * (x + 1)) `div` 2 | x <- [1..]]

-- Tau function.
solution :: (Integral a) => [a] -> Bool
solution xs = if nb_divisor > 500 then True else False 
    where nb_divisor = product (map (\x -> length x + 1) (group xs))

-- Trial division.
divisor :: (Integral a) => [a] -> a -> [a]
divisor _ 1 = []
divisor (x:xs) n
    | rest /= 0 = divisor (xs) n
    | rest == 0 = x : divisor (x:xs) (n `div` x)
    where rest = n `rem` x

-- Primes list.
primes :: (Integral a) => [a]
primes = 2 : 3 : sieve (tail primes) [5, 7..]
    where sieve (p:ps) xs = h ++ sieve ps [x | x <- t, x `rem` p /= 0]
                            where (h, (_:t)) = span (< p*p) xs

Dernière modification par grim7reaper (Le 11/12/2010, à 11:55)

helly · Le 11/12/2010, à 11:48

C'est chaud d'étudier un code haskell qu'on a pas écrit oO !
Merci, j'étudie ça.

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#2126 Le 10/12/2010, à 23:31

Re : /* Topic des codeurs couche-tard [2] */

#2127 Le 10/12/2010, à 23:54

Re : /* Topic des codeurs couche-tard [2] */

#2128 Le 10/12/2010, à 23:58

Re : /* Topic des codeurs couche-tard [2] */

#2129 Le 11/12/2010, à 00:02

Re : /* Topic des codeurs couche-tard [2] */

#2130 Le 11/12/2010, à 00:34

Re : /* Topic des codeurs couche-tard [2] */

#2131 Le 11/12/2010, à 01:31

Re : /* Topic des codeurs couche-tard [2] */

#2132 Le 11/12/2010, à 01:44

Re : /* Topic des codeurs couche-tard [2] */

#2133 Le 11/12/2010, à 01:45

Re : /* Topic des codeurs couche-tard [2] */

#2134 Le 11/12/2010, à 01:46

Re : /* Topic des codeurs couche-tard [2] */

#2135 Le 11/12/2010, à 01:51

Re : /* Topic des codeurs couche-tard [2] */

#2136 Le 11/12/2010, à 02:02

Re : /* Topic des codeurs couche-tard [2] */

#2137 Le 11/12/2010, à 02:32

Re : /* Topic des codeurs couche-tard [2] */

#2138 Le 11/12/2010, à 02:36

Re : /* Topic des codeurs couche-tard [2] */

#2139 Le 11/12/2010, à 02:45

Re : /* Topic des codeurs couche-tard [2] */

#2140 Le 11/12/2010, à 02:51

Re : /* Topic des codeurs couche-tard [2] */

#2141 Le 11/12/2010, à 03:08

Re : /* Topic des codeurs couche-tard [2] */

#2142 Le 11/12/2010, à 03:18

Re : /* Topic des codeurs couche-tard [2] */

#2143 Le 11/12/2010, à 03:22

Re : /* Topic des codeurs couche-tard [2] */

#2144 Le 11/12/2010, à 04:24

Re : /* Topic des codeurs couche-tard [2] */

#2145 Le 11/12/2010, à 07:42

Re : /* Topic des codeurs couche-tard [2] */

#2146 Le 11/12/2010, à 07:42

Re : /* Topic des codeurs couche-tard [2] */

#2147 Le 11/12/2010, à 08:29

Re : /* Topic des codeurs couche-tard [2] */

#2148 Le 11/12/2010, à 11:10

Re : /* Topic des codeurs couche-tard [2] */

#2149 Le 11/12/2010, à 11:46

Re : /* Topic des codeurs couche-tard [2] */

#2150 Le 11/12/2010, à 11:48

Re : /* Topic des codeurs couche-tard [2] */

Pied de page des forums