All pull requests

Pull requests

• getting-started: replace manual sources.list edit with copy-paste command

  #454·HannaFrangi opened Oct 21, 2026·

  ·

• Update connecting-to-ev3dev-with-ssh.md

  #445·tim-band opened Nov 3, 2024·

  ·
  2

• Elaborate on Step #7

  #389·tcwan opened Dec 15, 2017·

  ·
  14

• Added new getting started guide for node js

  #357·liam-b opened Mar 24, 2017·

  ·
  36

• Update connecting-to-the-internet-via-usb.md

  #346·pmclee opened Feb 18, 2017·

  ·
  2

• Display image name on download buttons and improve the buttons' formatting

  #340·WasabiFan opened Feb 11, 2017Member·

  ·
  20

• Update connecting-to-the-internet-via-usb.md

  documentation content
  #306·ghpille opened Dec 9, 2016·

  ·
  56

• Add new platform selection mechanism

  #87·WasabiFan opened Dec 30, 2015Member·3 of 6 tasks·

  ·
  6

• Add tutorial: setting-up Bluetooth - PulseAudio

  #24·BertLindeman opened Nov 17, 2014Contributor·

  ·
  63