Shaare your links...
5132 links
yakmoijebrille Home Login RSS Feed ATOM Feed Tag cloud Picture wall Daily
Links per page: 20 50 100
page 1 / 1
1 results for tags dash x
  • Vivado installation on Linux - ArmadeusWiki
    Un truc à la con sur debian-like, /usr/bin/sh ne pointe pas sur bash :

    ls -lha /bin/sh
    lrwxrwxrwx 1 root root 4 janv. 24  2017 /bin/sh -> dash

    Pour pointer sur bash il faut faire un :

    $ sudo dpkg-reconfigure dash

    Et répondre non.

    $ ls -lha /bin/sh
    lrwxrwxrwx 1 root root 4 juin  28 15:27 /bin/sh -> bash

    Cette commande est à relancer après un dist-upgrade, on n'y pense pas toujours.

    Certe, dash est plus petit (100k au lieu de 900k ...) et plus rapide. Mais il ne respecte pas les standard de bash, du coup ça génère tout un tas de bug pénibles dans les logiciels «third-party» non libre, notamment pour les FPGA.
    Fri Jun 28 15:26:51 2019 - permalink -
    - http://www.armadeus.org/wiki/index.php?title=Vivado_installation_on_Linux
    bash dash debian flf ubuntu
Links per page: 20 50 100
page 1 / 1
Shaarli 0.0.41 beta - The personal, minimalist, super-fast, no-database delicious clone. By sebsauvage.net. Theme by idleman.fr.