Skip to content
Change the repository type filter

All

    Repositories list

    • mbedtls

      Public
      An open source, portable, easy to use, readable and flexible SSL library
      C
      Apache License 2.0
      2.6k000Updated Aug 24, 2022Aug 24, 2022
    • at-boot

      Public
      A systemd service which runs /at-boot in an isolated target at bootup if /at-boot exists
      Shell
      0000Updated Feb 9, 2022Feb 9, 2022
    • mkos-mlo-common

      Public archive
      Shell
      0000Updated Aug 13, 2021Aug 13, 2021
    • ptux-sdk-boneblack

      Public archive
      0000Updated Aug 13, 2021Aug 13, 2021
    • device-boneblack

      Public archive
      0000Updated Aug 12, 2021Aug 12, 2021
    • dpkg-autoconfigure

      Public archive
      Automatically configure pending packages
      Shell
      0100Updated Jun 2, 2019Jun 2, 2019
    • Package sources for Pragmatux Device
      0100Updated Jun 2, 2019Jun 2, 2019
    • ptux-essential

      Public archive
      Essential OS packages
      0100Updated Jun 2, 2019Jun 2, 2019
    • board-boneblack

      Public archive
      0000Updated Jun 1, 2019Jun 1, 2019
    • mkos-boneblack

      Public archive
      Shell
      0000Updated May 31, 2019May 31, 2019
    • Helper scripts for Pragmatux development (mirrored from gitlab.com)
      Roff
      0120Updated Sep 13, 2018Sep 13, 2018
    • ptux-sdk

      Public
      The Pragmatux SDK: read-only mirror of the official repository on Gitlab
      0100Updated Sep 12, 2018Sep 12, 2018
    • Software update from USB media
      Shell
      0000Updated Apr 5, 2018Apr 5, 2018
    • Multiple repository bootstrap based on apt
      Perl
      0200Updated Oct 23, 2017Oct 23, 2017
    • Make an ISO9660 image containing a package archive suitable for disk-based software updates
      Shell
      0310Updated Sep 1, 2017Sep 1, 2017
    • APT-sources configuration for the Pragmatux SDK
      0100Updated Apr 18, 2017Apr 18, 2017
    • The pragmatux.org website
      HTML
      0100Updated Apr 5, 2017Apr 5, 2017
    • xorg-run

      Public
      Run Xorg
      0100Updated Oct 19, 2016Oct 19, 2016
    • Configuration to exclude files on certain paths
      0000Updated Oct 19, 2016Oct 19, 2016
    • mkos

      Public
      Generic command to make OS images
      Shell
      0100Updated Oct 18, 2016Oct 18, 2016
    • Sets a default password of "password" for the root account (use with caution)
      0000Updated Oct 10, 2016Oct 10, 2016
    • Basic configuration files
      0100Updated Oct 5, 2015Oct 5, 2015
    • Mount USB disks automatically to /run/media/*
      Shell
      0100Updated Jun 19, 2015Jun 19, 2015
    • Board package for the Technologic Solutions TS-4700
      Shell
      0000Updated May 2, 2015May 2, 2015
    • update

      Public
      Software update manager
      C++
      0110Updated Apr 30, 2015Apr 30, 2015
    • Transport for APT enabling ISO-encapsulated package archives
      C++
      0000Updated Apr 29, 2015Apr 29, 2015
    • 0000Updated Mar 21, 2015Mar 21, 2015
    • Software update from added package sources automatically
      Shell
      0100Updated Oct 10, 2014Oct 10, 2014
    • Add APT sources for ISO9660 archives on removable disks
      Shell
      0100Updated Oct 10, 2014Oct 10, 2014
    • systemd

      Public
      System and service manager
      C
      GNU General Public License v2.0
      0100Updated Oct 10, 2014Oct 10, 2014