Retourner au contenu associé (journal : écriture d'un script AWK de transformation de Markdown en HTML)
Posté par LaurentClaessens (site web personnel) le 23 octobre 2025 à 06:33. En réponse au journal écriture d'un script AWK de transformation de Markdown en HTML. Évalué à 5. Dernière modification le 23 octobre 2025 à 06:33.
Au cas où quelqu'un tomberait ici, la solution qui marche est :
En bash: cd ~/tmp/foobar/pyenv/bin PYENV_ROOT=/home/moky/tmp/foobar/pyenv ./pyenv install -v 3.10.12 (je n'ai pas envie de polluer le ~/.bashrc de l'utilisateur)
cd ~/tmp/foobar/pyenv/bin PYENV_ROOT=/home/moky/tmp/foobar/pyenv ./pyenv install -v 3.10.12
~/.bashrc
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: J'ai justement une question de python
Posté par LaurentClaessens (site web personnel) . En réponse au journal écriture d'un script AWK de transformation de Markdown en HTML. Évalué à 5. Dernière modification le 23 octobre 2025 à 06:33.
Au cas où quelqu'un tomberait ici, la solution qui marche est :
En bash:
cd ~/tmp/foobar/pyenv/bin
PYENV_ROOT=/home/moky/tmp/foobar/pyenv ./pyenv install -v 3.10.12
(je n'ai pas envie de polluer le
~/.bashrcde l'utilisateur)