We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

NixOS configuration system

00:00

Formal Metadata

Title
NixOS configuration system
Title of Series
Number of Parts
97
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
In this talk, Nicolas Pierron will shortly present the idea behind Nix and NixOS. Nicolas will explore the mechanism of the NixOS' configuration system. Finally, he will conclude with some examples to illustrate the abstraction on top of the system configuration.
Formal languageKnowledge-based configurationNational Institute of Standards and TechnologyComputer animation
BitComputer fileFormal languageDerivation (linguistics)Distribution (mathematics)Library (computing)National Institute of Standards and TechnologyMereologyException handlingIntegrated development environmentFunctional (mathematics)Source codeExpressionSubject indexingDefault (computer science)Enterprise architectureKnowledge-based configurationPhysical systemBinary fileHash functionDirectory serviceMultiplicationInstallation artScripting languageoutputData storage deviceDifferent (Kate Ryan album)Semiconductor memoryLink (knot theory)Web pageRevision controlTracing (software)Set (mathematics)Arithmetic meanRankingFile systemFluid staticsKeyboard shortcutDatabaseDistanceTheory of relativitySound effectMixed realityData compressionForcing (mathematics)Inclusion mapCompilerBasis <Mathematik>Web 2.0Compilation albumGroup actionTerm (mathematics)Table (information)InternetworkingFunctional programmingOvalComputer animationLecture/Conference
Execution unitTerm (mathematics)Kernel (computing)Library (computing)Video gameEmailLink (knot theory)Statement (computer science)Web 2.0Computer fileCellular automaton1 (number)InformationComputer programmingKnowledge-based configurationWebsiteNeuroinformatikProgram slicingFunctional (mathematics)Derivation (linguistics)Data storage deviceHash functionWeb pageComputer animationLecture/Conference
Execution unitFunctional (mathematics)Parameter (computer programming)Source codeComputer fileModule (mathematics)NeuroinformatikFormal languagePhysical systemBootingCASE <Informatik>Computer configurationKnowledge-based configurationMedical imagingWeb pageAttribute grammarMixed realityType theorySheaf (mathematics)Derivation (linguistics)Declarative programmingDefault (computer science)Loop (music)Information securityUsabilityControl flowBitRollback (data management)Revision controlBoolean algebraContent (media)WindowGroup actionDirected graphComputer fontWater vaporServer (computing)Data managementMenu (computing)EmailTwitterLink (knot theory)Computer simulationSampling (statistics)Kernel (computing)Statement (computer science)Forcing (mathematics)Endliche ModelltheorieGraphical user interfaceVariable (mathematics)Theory of relativityMultiplication signDescriptive statisticsString (computer science)1 (number)Cursor (computers)Lecture/Conference
Module (mathematics)Gastropod shellMultiplication signInformationWindowData managementNeuroinformatikMereologyKeyboard shortcutMultiplicationAngleDefault (computer science)Computer configurationScripting languagePresentation of a groupPhysical systemCategory of beingFunctional (mathematics)Condition numberEqualiser (mathematics)Range (statistics)Time zoneService (economics)Function (mathematics)Statement (computer science)Order (biology)Basis <Mathematik>Forcing (mathematics)Knowledge-based configurationType theoryFlagDistribution (mathematics)Control flow graphAttribute grammarComputer fileTerm (mathematics)Computer animationLecture/Conference
Execution unitModule (mathematics)Vulnerability (computing)Computer configurationComputer programmingPresentation of a groupData managementWater vaporNormal (geometry)BootingKnowledge-based configurationPC CardWordNeuroinformatikWeb 2.0Revision controlVideo cardDifferent (Kate Ryan album)AbstractionType theoryLaptopDistribution (mathematics)Physical systemEndliche ModelltheorieDefault (computer science)Chemical equationComputer fileForcing (mathematics)Link (knot theory)Source codeView (database)Hash functionNational Institute of Standards and TechnologySoftwareExpressionDemo (music)Keyboard shortcutBuildingFunction (mathematics)Kernel (computing)Computer animationLecture/Conference
Directory serviceServer (computing)Computer configurationModule (mathematics)Electronic mailing listRevision controlVideo projectorNeuroinformatikLevel (video gaming)Diallyl disulfideAkkumulator <Informatik>Point (geometry)Source codeArmComputing platformMixed realityPhysical systemRootBasis <Mathematik>Content (media)Process (computing)Right angleObject (grammar)Product (business)Projective planeData storage deviceLink (knot theory)Knowledge-based configurationWordLatent heatDerivation (linguistics)Web pageBlock (periodic table)SoftwareWindowData managementComputer fileCalculationKernel (computing)Virtual machineDirection (geometry)Fluid staticsOcean current1 (number)Cross-platformElectronic visual displayTouchscreenMilitary baseFormal verificationPoint cloudComputer animationLecture/Conference
TesselationCartesian coordinate systemComputer fileMathematicsMixed realityContent (media)Computer programmingNeuroinformatikMereologyRepository (publishing)Connectivity (graph theory)Generic programmingRootAlpha (investment)Incidence algebraVirtual machineElectric generatorProfil (magazine)Hash functionComputing platformType theoryElectronic mailing listArmMultiplication signPhysical systemKnowledge-based configurationEndliche ModelltheorieMechanism designCASE <Informatik>Block (periodic table)Hacker (term)Group actionCategory of beingRevision controloutputHeat transferAsynchronous Transfer ModeCompilation albumSinc functionBuildingPiMessage passingComputer animation
Computer animation
Transcript: English(auto-generated)