. GNU Guix: Package without a scheme! Andreas Enge. GNU Hackers Meeting Paris, 23 August 2013
|
|
|
- Reynold Turner
- 5 years ago
- Views:
Transcription
1 .. GNU Guix: Package without a scheme! Andreas Enge andreas@enge.fr GNU Hackers Meeting Paris, 23 August 2013 Andreas Enge (GNU Guix) GNU Guix packaging GHM
2 Guix system Two chunks of code Guix package manager inside guix/ lots of Scheme GNU system inside gnu/ Bootable system (gnu/system/), not yet written Packages (gnu/packages/), almost no Scheme! Andreas Enge (GNU Guix) GNU Guix packaging GHM
3 Available packages guix package -A wc GNU packages (out of 364) GCC, 6 Schemes, Perl, Python, Ocaml TeX Live X.org (client side) Glib, Cairo, Pango, Gtk+ Only free software! As pristine as possible (minimal patches) Andreas Enge (GNU Guix) GNU Guix packaging GHM
4 Package description name: Lower case original package name version source uri: Possibility of mirror://xxx/... with xxx gnu, sourceforge, savannah, cpan, kernel.org, gnome, apache, xorg, imagemagick sha256: Hash of tarball build-system: gnu-build-system, trivial-build-system, python-build-system, perl-build-system, cmake-build-system synopsis: As in GNU Womb, not repeating the package name description: Usually taken from web page, two spaces at end of sentence license; see guix/licenses.scm home-page Andreas Enge (GNU Guix) GNU Guix packaging GHM
5 Guix architecture Courtesy of Ludovic Courtès User tools guix build. guix package guix gc. Build processes chroot, separate UID make, gcc,.make, gcc,. make, gcc, RPC Nix build daemon. sudo guix-daemon. --build-users-group=guix-builder Andreas Enge (GNU Guix) GNU Guix packaging GHM
6 Let s scheme, at least a little bit! Scheme is functional: There are functions 2 + 3; (+ 2 3) and user-defined functions int f (int x, int y) (lambda (x y) (+ x y)) return x+y; f (2, 3); ((lambda (x y) (+ x y)) 2 3) but also global variables a = 5; (define a 5) 2 * a; (* 2 a) that can hold functions int f (int x, int y) (define (f x y) (+ x y)) return x+y; f (2, 3); (f 2 3) Andreas Enge (GNU Guix) GNU Guix packaging GHM
7 Let s list and quote Linked lists (define a 1) (define b 2) (define c 3) (list a b c) (1 2 3) Constant lists / quote '(1 2 3) (1 2 3) (define a 1) (define b 2) (define c 3) '(a b c) (a b c) Quasiquote (define a 1) (define b 2) (define c 3) `(a b c) (a b c) Unquote (define a 1) (define b 2) (define c 3) `(,a b,c) (1 b 3) Andreas Enge (GNU Guix) GNU Guix packaging GHM
8 Let s let Local variables (define x 10) (let ((x 2) (y 3)) (list x y)) (2 3) x 10 y ERROR: Unbound variable: y Let s stop! H. Abelson, G. Sussman, J. Sussman: Structure and Interpretation of Computer Programs, MIT Press, 2nd ed. 1996, D. Sitaram: Teach Yourself Scheme in Fixnum Days, http: // Andreas Enge (GNU Guix) GNU Guix packaging GHM
9 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Andreas Enge (GNU Guix) GNU Guix packaging GHM
10 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Modify copyright, module name, name (twice), version, uri, description. Add module to gnu-system.am. Andreas Enge (GNU Guix) GNU Guix packaging GHM
11 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Modify copyright, module name, name (twice), version, uri, description. Add module to gnu-system.am. Download tarball: guix download mirror://gnu/units/units-2.01.tar.gz Andreas Enge (GNU Guix) GNU Guix packaging GHM
12 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Modify copyright, module name, name (twice), version, uri, description. Add module to gnu-system.am. Download tarball: guix download mirror://gnu/units/units-2.01.tar.gz Modify hash and license. Andreas Enge (GNU Guix) GNU Guix packaging GHM
13 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Modify copyright, module name, name (twice), version, uri, description. Add module to gnu-system.am. Download tarball: guix download mirror://gnu/units/units-2.01.tar.gz Modify hash and license. Check gpg signature. Andreas Enge (GNU Guix) GNU Guix packaging GHM
14 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Modify copyright, module name, name (twice), version, uri, description. Add module to gnu-system.am. Download tarball: guix download mirror://gnu/units/units-2.01.tar.gz Modify hash and license. Check gpg signature. Modify synopsis: make sync-synoses Andreas Enge (GNU Guix) GNU Guix packaging GHM
15 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Modify copyright, module name, name (twice), version, uri, description. Add module to gnu-system.am. Download tarball: guix download mirror://gnu/units/units-2.01.tar.gz Modify hash and license. Check gpg signature. Modify synopsis: make sync-synoses Build:./pre-inst-env guix build units -K Andreas Enge (GNU Guix) GNU Guix packaging GHM
16 A simple GNU package: units Copy gnu/packages/indent.scm into a new source file. Modify copyright, module name, name (twice), version, uri, description. Add module to gnu-system.am. Download tarball: guix download mirror://gnu/units/units-2.01.tar.gz Modify hash and license. Check gpg signature. Modify synopsis: make sync-synoses Build:./pre-inst-env guix build units -K Optionally: Cross-build./pre-inst-env guix build units --target=mips64el-linux-gnuabi64 Andreas Enge (GNU Guix) GNU Guix packaging GHM
17 Update a GNU package Check for new version:./pre-inst-env guix refresh units Update package to new version:./pre-inst-env guix refresh units -u Andreas Enge (GNU Guix) GNU Guix packaging GHM
18 A GNU package with inputs: pspp Copy-paste a package and modify as before, try to build. Andreas Enge (GNU Guix) GNU Guix packaging GHM
19 A GNU package with inputs: pspp Copy-paste a package and modify as before, try to build. Add inputs, native-inputs, propagated-inputs. Add configure flags, try to build. Andreas Enge (GNU Guix) GNU Guix packaging GHM
20 A GNU package with inputs: pspp Copy-paste a package and modify as before, try to build. Add inputs, native-inputs, propagated-inputs. Add configure flags, try to build. Work around problems. Here: Add missing input gettext. Try to build. Andreas Enge (GNU Guix) GNU Guix packaging GHM
21 A GNU package with inputs: pspp Copy-paste a package and modify as before, try to build. Add inputs, native-inputs, propagated-inputs. Add configure flags, try to build. Work around problems. Here: Add missing input gettext. Try to build. Despair. Write a bug report. Missing dependency on gnumeric? Something related to libreoffice? --without-gui not tested? Solution (thanks to John Darrington): libxml2 was not found; add input pkg-config Andreas Enge (GNU Guix) GNU Guix packaging GHM
22 A non-gnu package with build problems: gkrellm Dependencies according to users/billw/gkrellm/gkrellm.html: gtk, gdk, glib. Try build without inputs. Andreas Enge (GNU Guix) GNU Guix packaging GHM
23 A non-gnu package with build problems: gkrellm Dependencies according to users/billw/gkrellm/gkrellm.html: gtk, gdk, glib. Try build without inputs. Following INSTALL, drop configure phase: (arguments `(#:phases (alist-delete 'configure %standard-phases))) There is also alist-replace, alist-cons-before, alist-cons-after. Andreas Enge (GNU Guix) GNU Guix packaging GHM
24 A non-gnu package with build problems: gkrellm We need to install into store, not /usr/local; and use gcc instead of cc. #:make-flags (let ((out (assoc-ref %outputs "out"))) (list (string-append "INSTALLROOT=" out) "CC=gcc")) Andreas Enge (GNU Guix) GNU Guix packaging GHM
25 A non-gnu package with build problems: gkrellm We need to install into store, not /usr/local; and use gcc instead of cc. #:make-flags (let ((out (assoc-ref %outputs "out"))) (list (string-append "INSTALLROOT=" out) "CC=gcc")) Add inputs: gettext, gtk+, libsm, libice; native-inputs pkg-config Andreas Enge (GNU Guix) GNU Guix packaging GHM
26 A non-gnu package with build problems: gkrellm We need to install into store, not /usr/local; and use gcc instead of cc. #:make-flags (let ((out (assoc-ref %outputs "out"))) (list (string-append "INSTALLROOT=" out) "CC=gcc")) Add inputs: gettext, gtk+, libsm, libice; native-inputs pkg-config Missing -lgmodule-2.0 at final link. Solution here: Additional make flag, see src/makefile X11_LIBS = -lx11 -lsm -lice -lgmodule-2.0 Andreas Enge (GNU Guix) GNU Guix packaging GHM
27 A non-gnu package with build problems: gkrellm We need to install into store, not /usr/local; and use gcc instead of cc. #:make-flags (let ((out (assoc-ref %outputs "out"))) (list (string-append "INSTALLROOT=" out) "CC=gcc")) Add inputs: gettext, gtk+, libsm, libice; native-inputs pkg-config Missing -lgmodule-2.0 at final link. Solution here: Additional make flag, see src/makefile X11_LIBS = -lx11 -lsm -lice -lgmodule-2.0 No check phase: #:tests? #f Sometimes: #:test-target "test" Andreas Enge (GNU Guix) GNU Guix packaging GHM
28 A non-gnu package with build problems: gkrellm We need to install into store, not /usr/local; and use gcc instead of cc. #:make-flags (let ((out (assoc-ref %outputs "out"))) (list (string-append "INSTALLROOT=" out) "CC=gcc")) Add inputs: gettext, gtk+, libsm, libice; native-inputs pkg-config Missing -lgmodule-2.0 at final link. Solution here: Additional make flag, see src/makefile X11_LIBS = -lx11 -lsm -lice -lgmodule-2.0 No check phase: #:tests? #f Sometimes: #:test-target "test" Success! Andreas Enge (GNU Guix) GNU Guix packaging GHM
29 Your turn! GNUnet Improvements to python build system Firefox GNOME, and other Gtk+ applications Qt (4.8 and 5.1) KDE OpenJDK LibreOffice Fonts Games Your favourite free package! Subscribe to Send your patches: git format-patch Andreas Enge (GNU Guix) GNU Guix packaging GHM
30 Copyright 2013 Andreas Enge Copyright of diagram on page Ludovic Courtès ludo@gnu.org, Andreas Enge andreas@enge.fr Copyright of GNU Guix logo on title page 2013 Nikita Karetnikov nikita@karetnikov.org This work is licensed under the Creative Commons Attribution-Share Alike 3.0 License. To view a copy of this license, visit or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA. At your option, you may instead copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is available at The source of this document is available from Andreas Enge (GNU Guix) GNU Guix packaging GHM
Functional Package Management with GNU Guix
Functional Package Management with GNU Guix Ricardo Wurmus rekado@elephly.net OpenTechSummit 14 May 2015 Good idea easy to install, upgrade, remove software dependency resolution centrally maintained repositories
Navigating the Guix Subsystems
Navigating the Guix Subsystems Ludovic Courtès GNU Hackers Meeting, Rennes, August 2016 The Emacs of distros When large numbers of nontechnical workers are using a programmable editor, they will be tempted
GNU Guix: Scheme as a uniform OS admin and deployment interface
GNU Guix: Scheme as a uniform OS admin and deployment interface Ludovic Courtès Commercial Users of Functional Programming 24 September 2016, Nara, Japan $ guix package -i gcc-toolchain coreutils sed
Controlling Software Environments with GNU Guix
Controlling Software Environments with GNU Guix Ludovic Courtès Inria Bordeaux Sud-Ouest November 2016 The difficulty of keeping software environments under control. #1. Upgrades are hard. #2. Stateful
Building a whole distro on top of a minimalistic language
Building a whole distro on top of a minimalistic language Ludovic Courtès FOSDEM, 2 February 2019 the GNU/Linux potluck GNU Guix Reference Card forversion0.16.1 https://gnu.org/software/guix/ Getting
GNU Hackers Meeting 2013
GNU Hackers Meeting 2013 http://www.gnu.org/ghm/2013/paris Luca Saiu IRILL, Paris, August 2013 1/12. Introduction A software is free software if you can: 0: run it, for any purpose 1:
Practical, verifiable software freedom with GuixSD. David Thompson Sunday, March 25th, 2018
Practical, verifiable software freedom with GuixSD David Thompson Sunday, March 25th, 2018 about me GNU Guix contributor since 2013 GNU Guile user and contributor since 2012 day job: DevOps (AWS, Ruby)
Adding GNU/Hurd support to GNU Guix Porting GNU Guix to a new platform
Adding GNU/Hurd support to GNU Guix Porting GNU Guix to a new platform Manolis Ragkousis manolis837@gmail.com FOSDEM 30 January 2016 What is distro bootstrapping? Simply speaking Bootstrapping refers to
GNU Guix is 4 years old!
GNU Guix is 4 years old! Ludovic Courtès GNU Hackers Meeting, Rennes, August 2016 The rise and fall of distros. Debian and other distributions are going to be that thing you run docker on, little more.
Cucumber Linux Distribution
An Overview of How I Created the Cucumber Linux Distribution Scott Court February 16, 2018 Who am I? What is Cucumber Linux? A Linux distribution built entirely from source, from scratch An independent
Continuous Integration and Release Management with Nix
Continuous Integration and Release Management with Nix Institute of Information & Computing Sciences Utrecht University, The Netherlands July 14, 2004 Outline 1 Continuous Integration 2 Release Management
Background Information About GTK+ and Related Libraries
Background Information About GTK+ and Related Libraries The X Window System The X Window System is a networking and display protocol which provides windowing on bitmapped displays. X provides the basic
Choosing free software graphical libraries for embedded devices
Embedded Linux Conference Europe Choosing free software graphical libraries for embedded devices Thomas Petazzoni Free Electrons http://free electrons.com/ 1 About this document This document is released
The Lives of Others. Open-Source Development Practices Elsewhere. Peter Eisentraut. Senior Software Engineer Lab Development F-Secure Corporation
The Lives of Others Open-Source Development Practices Elsewhere Peter Eisentraut Senior Software Engineer Lab Development F-Secure Corporation PGCon 2009 Ground Rules I don t know everything. If you are
Workflow management for data analysis with GNU Guix
Workflow management for data analysis with GNU Guix Roel Janssen June 9, 2016 Abstract Combining programs to perform more powerful actions using scripting languages seems a good idea, until portability
Agenda. Several projects are using GIT Developer(s) Junio Hamano, Linus Torvalds. Qt Stable release (January 31, 2011)
Basic Agenda 1 Project information Who is ussing 2 14 Oct 2011 3 Basic Data Transport Work ow 4 Con gure 5 Basic Project information Who is ussing Project information Who is ussing Project information
ULTEO OPEN VIRTUAL DESKTOP OPENSUSE 11.3 SUPPORT
ULTEO OPEN VIRTUAL DESKTOP V4.0.2 OPENSUSE 11.3 SUPPORT Contents 1 Prerequisites: opensuse 11.3 3 1.1 System Requirements.............................. 3 2 Repository 4 2.1 Online Method..................................
git-pr Release dev2+ng5b0396a
git-pr Release 0.2.1.dev2+ng5b0396a Mar 20, 2017 Contents 1 Table Of Contents 3 1.1 Installation................................................ 3 1.2 Usage...................................................
Mingw-w64 and Win-builds.org - Building for Windows
Mingw-w64 and Win-builds.org - Building for Windows February 2, 2014 1 Mingw-w64 2 3 Section outline Mingw-w64 History, motivations and philosophy What comes with a mingw-w64 tarball Environments to build
Introduction to GIT. Jordi Blasco 14 Oct 2011
Jordi Blasco (jblasco@xrqtc.com) 14 Oct 2011 Agenda 1 Project information Who is ussing GIT 2 Branch Tag Data Transport Workow 3 Congure 4 Working with remotes 5 Project information Who is ussing GIT Project
Moblin v2 SDK. Open Source Technology Center Presented by Bob Spencer
Moblin v2 SDK Open Source Technology Center Presented by Bob Spencer 1 Moblin SDK Agenda SDK Overview (3 parts) Project Creation Demo Plans QA 2 Moblin SDK Development environment Moblin 2.0 Distribution
Flatpak workshop. flatpak.org
Flatpak workshop flatpak.org Carlos Soriano Sanchez - GNOME Developer csoriano csoriano@gnome.org Felipe Borges - GNOME Developer feborges felipeborges@gnome.org Overview Flatpak introduction What is Flatpak
GUI Programming with GTK+
GUI Programming with GTK+ Second Part Florian Pelz E-Mail: pelzflorian@pelzflorian.de Today Distribution Miniature IMS Internationalization Other features Last time We talked about how to write a C program,
Cisco WAE Release System Requirements
System Requirements Cisco WAE Release 6.3 6.3.11 System Requirements Modification Date: 11/06/2017 WAN Automation Engine (WAE) requirements vary, depending on the product it is paired with and whether
ULTEO OPEN VIRTUAL DESKTOP INTERNATIONALIZATION AND LOCALIZATION
ULTEO OPEN VIRTUAL DESKTOP V4.0.2 INTERNATIONALIZATION AND LOCALIZATION Contents 1 Introduction 2 2 Ulteo OVD translations 3 2.1 Administration Console............................. 3 2.2 Ulteo Web Portal.................................
2-Days Workshop on Simulation of TCP Variants using NS-3
2-Days Workshop on Simulation of TCP Variants using NS-3 jointly organized by Poornima University, Jaipur & IIIT-Kota(Mentored by MNIT,Jaipiur) Rahul Hada rahul.hada@poornima.edu.in Ashutosh Kumar ashutosh.kumar@poornima.edu.in
ecamguvcview Build & Installation Guide
e-con Systems India Pvt Ltd 17, 54 th Street, Ashok Nagar Chennai-600083 www.e-consystems.com ecamguvcview Build & Installation Guide Revision 1.0 Friday August 17, 2012 Customer/Partner NA www.e-consystems.com
TraCE: Transparent Configuration Environments
TraCE: Transparent Configuration Environments Martin Bravenboer Eelco Dolstra Eelco Visser Institute of Information & Computing Sciences Utrecht University, The Netherlands February 4, 2005 Project Overview
Macros. Pat Hanrahan. CS448h Fall 2015
Macros Pat Hanrahan CS448h Fall 2015 Macro Definitions in Lisp Timothy Harris Abstract In LISP 1.5 special forms are used for three logically separate purposes: a) to reach the alist, b) to allow functions
MariaDB ColumnStore C++ API Building Documentation
MariaDB ColumnStore C++ API Building Documentation Release 1.1.3-acf32cc MariaDB Corporation Feb 22, 2018 CONTENTS 1 Licensing 1 1.1 Documentation Content......................................... 1 1.2
Full Stack on Wine. Create a Win-Win between Wine and thousands of Win32 open source projects. Qian Hong
Full Stack on Wine Create a Win-Win between Wine and thousands of Win32 open source projects Qian Hong Survey Chromium Browser Chromium Embed Framework (CEF) Python Lua Dazhihui Financial Security Software
Miguel de Icaza A Genius Free Software Evangelist. Cristhian Figueroa PhD Student Ingegneria Informatica e dei Sistemi Politecnico di Torino 2013
Miguel de Icaza A Genius Free Software Evangelist Cristhian Figueroa PhD Student Ingegneria Informatica e dei Sistemi Politecnico di Torino 2013 Miguel de Icaza Biography: Born in Mexico (1972). Is a free
swiftenv Documentation
swiftenv Documentation Release 1.3.0 Kyle Fuller Sep 27, 2017 Contents 1 The User Guide 3 1.1 Installation................................................ 3 1.2 Getting Started..............................................
Proceedings of ELS th European Lisp Symposium June Madrid, Spain
Proceedings of ELS 2013 6 th European Lisp Symposium June 3 4 2013 Madrid, Spain Organization Programme Chairs Christian Queinnec, UPMC, France Manuel Serrano, INRIA, France Local Chair Juan José Garcia-Ripoll,
Desktop software in pkgsrc. Kamil Rytarowski
Desktop software in pkgsrc Kamil Rytarowski kamil@netbsd.org whoami(1) Long time GNU/Linux user (since 90ties) NetBSD user since 6.1 NetBSD developer since 2015 pkgsrc contributor Logo of the NetBSD Operating
User- and distro-friendly packaging
User- and distro-friendly packaging Recommendations to upstream tarball providers Jan Engelhardt Presented at the opensuse Conference 2011 2011-Sep-11 14 Jan Engelhardt (o.s.c.2011) User-
The User in the Loop Extensibility, Guile, and GNU GNU Hackers Meeting 2011 Andy Wingo
The User in the Loop Extensibility, Guile, and GNU GNU Hackers Meeting 2011 Andy Wingo Greetings! Andy Wingo Guile co-maintainer, along with Ludovic Courtès Goal Understand the problem Guile is part of
Making build systems not suck! Jussi
Making build systems not suck! Jussi Pakkanen jpakkane@gmail.com @jpakkane Disclaimer Let's talk about build tools: All the build tools suck! Let's just be up-front: that's it! Robert Ramey CppCon 2014
The PBI format re-implemented for FreeBSD and PC-BSD. Kristofer Paul Moore
The PBI format re-implemented for FreeBSD and PC-BSD Kristofer Paul Moore kris@pcbsd.org PC-BSD Software / ixsystems Abstract The PBI format (Push Button Installer) has been the default package management
Poky Linux & OpenEmbedded based environment
& based environment Marcin Juszkiewicz marcin@juszkiewicz.com.pl http://marcin.juszkiewicz.com.pl ST-Ericsson Community Workshop 2009 Some information about me Bought Sharp Zaurus SL-5500 in February 2003
ULTEO OPEN VIRTUAL DESKTOP SUSE LINUX ENTERPRISE SERVER (SLES) 11 SP1 SUPPORT
ULTEO OPEN VIRTUAL DESKTOP V4.0.2 SUSE LINUX ENTERPRISE SERVER (SLES) 11 SP1 SUPPORT Contents 1 Prerequisites: SUSE Linux Enterprise Server (SLES) 11 SP1 3 1.1 System Requirements..............................
The pkgsrc wrapper framework
The pkgsrc wrapper framework Jörg Sonnenberger September 19, 2009 Abstract The wrapper framework in pkgsrc serves two central roles: abstracting compiler specifics and limiting visibility
Application Management
Lab 2 Application Management 2.1 Objectives Install software ready to use in a specific operating system (binaries) Install software starting from source code 2.2 Before you start It would be good if you
Pulp OSTree Documentation
Pulp OSTree Documentation Release 1.0.0 Pulp Team November 06, 2015 Contents 1 Glossary 3 2 Concepts 5 3 User Guide 7 3.1 Installation................................................ 7 3.2 Configuration...............................................
Flatpak and your distribution. Simon McVittie
Flatpak and your distribution Simon McVittie smcv@{collabora.com,debian.org} 2018-02-04 Introduction to Flatpak tl;dr edition A sandboxed app framework for desktop Linux GUI, desktop apps, as in /usr/share/applications,
Goals for this lecture. Lecture 4 Getting Started with ITK! Getting help. Assignments. Assignments, cont. Grading of assignments
Goals for this lecture Lecture 4 Getting Started with ITK! Methods in Medical Image Analysis - Spring 2018 16-725 (CMU RI) : BioE 2630 (Pitt) Dr. John Galeotti Compile, compile, compile Learn how to use
zabby Documentation Release Evgeniy Petrov
zabby Documentation Release 0.1.5 Evgeniy Petrov November 02, 2013 CONTENTS 1 Introduction 1 1.1 Goals................................................... 1 1.2 Maturity.................................................
Thailand FOSS Localization Report
Thailand FOSS Localization Report Theppitak Karoonboonyanan Localization Workshop, Phenom Penh, Cambodia 25 October 2005 Reporter s Backgrounds First of all, the reporter would like to declare his backgrounds,
Reproducible Software Deployment with GNU Guix
Reproducible Software Deployment with GNU Guix Ludovic Courtès Inria Rennes Bretagne Atlantique, November 2015 The difficulty of keeping software environments under control. #1. Upgrades are hard. #2.
How to make your application into a Flatpak
How to make your application into a Flatpak Owen Taylor Red Hat Flock 2017 August 29, 2017 The Flatpak Model Init System OS Display Server Kernel Libraries Init System OS Display Server Kernel Applications
Ethereal Developer's Guide
Ethereal Developer's Guide Draft 0.0.2 (15684) for Ethereal 0.10.11 Ulf Lamping, Ethereal Developer's Guide: Draft 0.0.2 (15684) for Ethereal 0.10.11 by Ulf Lamping Copyright 2004-2005 Ulf Lamping Permission
Concurrent Variants, Isolation, and Feature Models in Software Deployment
Concurrent Variants, Isolation, and Feature Models in Software Deployment Eelco Dolstra Center for Software Technology Utrecht University eelco@cs.uu.nl February 27, 2003 1 Abstract Software deployment
Chapter 01: Introduction to Linux
True / False 1. Open Source Software (OSS) is freely developed and continuously improved by a large community of software developers ANSWER: True 2. The term hacker refers to someone who illegally uses
Understanding D-Bus. Meetup Toulouse, May Myle ne Josserand embedded Linux and kernel engineering
Meetup Toulouse, May 2016 Understanding D-Bus Myle ne Josserand mylene.josserand@bootlin.com Copyright 2004-2018, Bootlin. Creative Commons BY-SA 3.0 license. embedded Linux and kernel engineering Corrections,
Putting Taiwan on the Kernel.org Keysigning Map. Tsai, Chen-Yu
Putting Taiwan on the Kernel.org Keysigning Map Tsai, Chen-Yu Tsai, Chen-Yu Embedded Linux hobbyist since 2011 Mainly focused on Allwinner SoC support Kernel support co-maintainer since
An Introduction to Python (TEJ3M & TEJ4M)
An Introduction to Python (TEJ3M & TEJ4M) What is a Programming Language? A high-level language is a programming language that enables a programmer to write programs that are more or less independent of
CS 4300 Computer Graphics
CS 4300 Computer Graphics Prof. Harriet Fell Fall 2011 Lecture 8 September 22, 2011 GUIs GUIs in modern operating systems cross-platform GUI frameworks common GUI widgets event-driven programming Model-View-Controller
Growing a GNU with Guix
Growing a GNU with Guix Ludovic Courtès ludo@gnu.org FOSDEM 2 February 2014, Brussels Howdy! ( guile) Howdy! ( guile) NixOS Howdy! ( guile) NixOS the GNU system, 30 years later the GNU system, 30 years
README for X11R7.5. The X.Org Foundation 1. October 2009
The X.Org Foundation 1 October 2009 X11R7.5 is an Open Source version of the X Window System that supports many UNIX and UNIX-like operating systems (such as Linux, FreeBSD, NetBSD, OpenBSD, and Solaris)
A Practical Introduction to Version Control Systems
A Practical Introduction to Version Control Systems A random CAKES(less) talk on a topic I hope others find useful! a.brampton@lancs.ac.uk 4th February 2009 Outline 1 What is Version Control Basic Principles
Functional Programming. Pure Functional Programming
Functional Programming Pure Functional Programming Computation is largely performed by applying functions to values. The value of an expression depends only on the values of its sub-expressions (if any).
Library Installation and Usage Guide for Boardcon EM2440-III
Library Installation and Usage Guide for Boardcon EM2440-III By Team Echo (Gordon Leung, Lily Wang, Rodrick Yu) This document guides the user through: 1. Setting up the host and target environments to
cget Documentation Release Paul Fultz II
cget Documentation Release 0.1.0 Paul Fultz II Jun 27, 2018 Contents 1 Introduction 3 1.1 Installing cget.............................................. 3 1.2 Quickstart................................................
Gobject Gobject 2.26.zip
Gobject 2.26 Gobject 2.26.zip and GTK+. gobject-html-2.28.7.tar.gz gobject-html-2.26.1.tar.gz. Note the APIInstallation ============ libgit2-glib requires libgit2-0.26.x, glib 2.44.x, gio 2.26Description.
pkgsrc for users and developers
pkgsrc for users and developers Guillaume Lasmayous gls@netbsd.org FOSDEM Brussels, Feb. 5 2012 WTF is pkgsrc? aka package source NetBSD packaging system for 3rd party applications Initially based on FreeBSD
Quicksort. Alternative Strategies for Dividing Lists. Fundamentals of Computer Science I (CS F)
Fundamentals of Computer Science I (CS151.01 2006F) Quicksort Summary: In a recent reading, you explored merge sort, a comparatively efficient algorithm for sorting lists or vectors. In this reading, we
Recall that strings and tuples are immutable datatypes, while lists are mutable datatypes. What does this mean?
6.189 Day 4 Readings How To Think Like A Computer Scientist, chapters 7 and 8 6.01 Fall 2009 Course Notes page 27-29 ( Lists and Iterations over lists ; List Comprehensions is optional); sections 3.2-3.4
Top Down Breaking a Problem Down
Top Down Breaking a Problem Down Putting a few Python structures together Last Updated: Tuesday, February 12, 2019 Page 2 Copyright 2018 Objective, Overview Introduction This lesson and Lab is to bring
Mastering Linux. Paul S. Wang. CRC Press. Taylor & Francis Group. Taylor & Francis Croup an informa business. A CHAPMAN St HALL BOOK
Mastering Linux Paul S. Wang CRC Press Taylor & Francis Group Boca Raton London New York CRC Press is an Imprint of the Taylor & Francis Croup an informa business A CHAPMAN St HALL BOOK Contents Preface
Service Configuration Management
Service Configuration Management SCM-12 Eelco Dolstra Martin Bravenboer Eelco Visser {eelco, martin, visser}@cs.uu.nl Universiteit Utrecht, Faculty of Science, Department of Information and Computing Sciences
C SCI The X Window System Stewart Weiss
The X Window System The X Window System is a networking and display protocol which provides windowing on bitmapped displays. X provides the basic framework for building GUI environments, such as drawing
Microsoft Visual C++ Toolkit Build Instructions Included
Microsoft Visual C++ Toolkit Build Instructions Included A comprehensive manual on the NCBI C++ toolkit, including its design and (for Unix) or project solutions (for MS Visual C++ or for Xcode) used in
Hurd s PCI arbiter. Samuel Thibault & Joan Lledo February 3rd
Hurd s PCI arbiter Samuel Thibault & Joan Lledo 2018 February 3rd 1 The Hurd is all about freedom #0 The freedom to run the program, for any purpose I.e.: Freedom from sysadmin! WTH is fdisk/mke2fs/...
Kalibro (Version 1.0) User Guide
Kalibro (Version 1.0) User Guide Fabio Kon IME / USP (fabio.kon@ime.usp.br) Paulo Meirelles IME/USP Carlos Morais IME/USP Vinícius Daros IME/USP 10/20/2010 This work is partially funded by EU under the
The Rockefeller University I NFORMATION T ECHNOLOGY E DUCATION & T RAINING. VPN Configuration Guide for Unix/Linux
The Rockefeller University I NFORMATION T ECHNOLOGY E DUCATION & T RAINING VPN Configuration Guide for Unix/Linux Table of Contents VPN Configuration Guide for Unix/Linux... 1 Pulse Secure Client for Ubuntu
INTERNATIONALIZATION IN GVIM
INTERNATIONALIZATION IN GVIM A PROJECT REPORT Submitted by Ms. Nisha Keshav Chaudhari Ms. Monali Eknath Chim In partial fulfillment for the award of the degree Of B. Tech Computer Engineering UNDER THE
Introduction to Pintos. Jin-Soo Kim Computer Systems Laboratory Sungkyunkwan University
Introduction to Pintos Jin-Soo Kim (jinsookim@skku.edu) Computer Systems Laboratory Sungkyunkwan University http://csl.skku.edu Welcome to Pintos! What is Pintos? An instructional operating system Developed
The Past, Present, and Future of SWT
The Past, Present, and Future of SWT Eric Williams Email: ericwill@redhat.com Twitter: @yyzericwill About me: Eric Williams - Studied computer science at the University of Toronto - Intern at Red Hat from
Firmware Updates on Linux
We Firmware Updates on Linux Chicago GNU/Linux User Group, December 9, 2017 Jim Campbell ( @j1mc ) Firmware is the best Every morning I wonder if I'll get to update firmware that day If the answer is no,
The build2 Toolchain Installation and Upgrade
The build2 Toolchain Installation and Upgrade Copyright 2014-2019 Code Synthesis Ltd Permission is granted to copy, distribute and/or modify this document under the terms of the MIT License This revision
August 22, New Views on your History with git replace. Christian Couder
August 22, 2014 New Views on your History with git replace Christian Couder chriscool@tuxfamily.org About Git A Distributed Version Control System (DVCS): created by Linus Torvalds maintained by Junio
Cisco WAE System Requirements
Cisco WAE 6.4-6.4.7 System Requirements First Published: July 2016 Last Modified: November 2017 Cisco Systems, Inc. www.cisco.com Cisco has more than 200 offices worldwide. Addresses, phone numbers, and
Pulp Python Support Documentation
Pulp Python Support Documentation Release 1.0.1 Pulp Project October 20, 2015 Contents 1 Release Notes 3 1.1 1.0 Release Notes............................................ 3 2 Administrator Documentation
Introduction to Linux
Introduction to Linux The command-line interface A command-line interface (CLI) is a type of interface, that is, a way to interact with a computer. Window systems, punched cards or a bunch of dials, buttons
Linux desktop app guide Documentation. Thomas Kluyver & contributors
Linux desktop app guide Documentation Thomas Kluyver & contributors Dec 13, 2018 Contents: 1 User Interface options 3 1.1 Desktop style: GTK or Qt........................................ 3 1.2 Web tech:
Deferred operations. Continuations Structure and Interpretation of Computer Programs. Tail recursion in action.
Deferred operations Continuations 6.037 - Structure and Interpretation of Computer Programs Mike Phillips (define the-cons (cons 1 #f)) (set-cdr! the-cons the-cons) (define (run-in-circles l) (+
Git Command Line Tool Is Not Installed
Git Command Line Tool Is Not Installed Make Sure It Is Accessible On Y Error: "git" command line tool is not installed: make sure it is accessible on y I have installed git tool. even in git bash its showing
Introduction: Before start doing any code, there is some terms that one should be familiar with:
Introduction: D-Bus is a message bus system, a simple way for applications to talk to one another, D-Bus supplies a system and a session daemons. The system daemon is launched at the system startup level
Getting started with Gearman for MySQL
Getting started with Gearman for MySQL Giuseppe Maxia Eric Day This work is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported License. A short (I promise!) history of computing Mainframe
Configuration and Customisation
Configuration and Customisation Jeremy Sanders October 2011 1 Introduction Applications in Unix are often very configurable, but it takes some experience to know what s achievable and how to do it. I can
The Joy of Software Development
The Joy of Software Development ABOUT ME Nemo @captn3m0 captnemo.in Work @Razorpay WHY? - Data Structures - Computer Architecture - Algorithms - Operating Systems - Software Eng - Computer Networks - Compiler
CNIT 127: Exploit Development. Ch 18: Source Code Auditing. Updated
CNIT 127: Exploit Development Ch 18: Source Code Auditing Updated 4-10-17 Why Audit Source Code? Best way to discover vulnerabilities Can be done with just source code and grep Specialized tools make it
Reproducible packaging and distribution of software with GNU Guix
Reproducible packaging and distribution of software with GNU Guix Distributing software with Guix Pjotr Prins FOSDEM February 5th, 2017 UMC Utrecht/UTHSC GeneNetwork.org Reproducible packaging and distribution
A Hands-On Introduction to Using Python in the Atmospheric and Oceanic Sciences
Johnny Wei-Bing Lin A Hands-On Introduction to Using Python in the Atmospheric and Oceanic Sciences http://www.johnny-lin.com/pyintro 2012 c 2012 Johnny Wei-Bing Lin. Some rights reserved. Printed version:
Parallel Programming
Parallel Programming Installing Eclipse Parallel Tools Platform (PTP) (Linux Distributions) Preliminaries - Install Java Author B. Wilkinson - Modification date May 29, 2015 Java is needed for the Eclipse
Manual Install Package Rpm Linux Command Line
Manual Install Package Rpm Linux Command Line You can either install it as a package or via another installer, or download the source code If you want to install Git on Linux via a binary installer, you
Functional Programming. Pure Functional Languages
Functional Programming Pure functional PLs S-expressions cons, car, cdr Defining functions read-eval-print loop of Lisp interpreter Examples of recursive functions Shallow, deep Equality testing 1 Pure
Write a procedure powerset which takes as its only argument a set S and returns the powerset of S.
Answers to CS61 A Final of May 23, 1997 We repeat the questions; some have typos corrected with respect to the actual exam handed out. Question 1 (5 points): Let us represent a set S of unique expressions,
1 PartA. Lab#1 Solutions: COMP 3000A(Operating Systems) October 9, TheShell. 1.2 Help
Lab#1 Solutions: COMP 3000A(Operating Systems) October 9, 2007 In this lab, we will examine some core programs of the UNIX environment as implemented onthedebiangnu/linux4.0systemsinthelab.theseprogramsprovideawindowintothe
Representing Images as Lists of Spots
Fundamentals of Computer Science I: Media Computing (CS151.02 2007F) Representing Images as Lists of Spots Summary: We examine Scheme s list data type and an application of that type to representing images.