Guía de referencia de Debian i Guía de referencia de Debian Osamu Aoki Guía de referencia de Debian ii Copyright © 2013-2024 Osamu Aoki La Guía de Referencia de Debian (version 2.124) (2024-06-30 servir de guía al usuario después de la instalación. Se tratan diferentes aspectos de la administración del sistema, usando ejemplos en el intérprete de órdenes, para todo tipo de usuarios. Guía de referencia referencia de Debian iii COLABORADORES TÍTULO : Guía de referencia de Debian ACCIÓN NOMBRE FECHA FIRMA ESCRITO POR Osamu Aoki 30 de junio de 2024 HISTORIAL DE REVISIONES NÚMERO FECHA MODIFICACIONES

Mark Rotteveel, Alexey Kovyazin, Thomas Steinmaurer, Frank Ingermann, Martin Köditz Version 1.6-de, 25. Juli 2020 Inhaltsverzeichnis 1. Einleitung . . . . . . . . . . . . . . . . . . . . . . . . Gesperrte Datenbank entsperren -F database Entsperren Sie die vom Benutzer wiederhergestellte Datenbank -S Geben Sie die Größe der Datenbankseiten an (mit -L) 2.1 -T Datenbanktrigger unterdrücken (mit -B unterdrücken). • Wenn Sie eine Rohgerätedatenbank mit Firebird 2.1 oder höher sperren, kann die Option -S sehr hilfreich sein, siehe auch Sperren von Rohgerätedatenbanken. • Sie können optional -Z hinzufügen

Der Firebird Cache-Buffer Norman Dunbar, Martin Köditz Version 1.2-de, 28. Mai 2020 Inhaltsverzeichnis 1. Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . erhalten. Im Gegensatz zur vorigen Behauptung. 1.1- de 2. Sep 2013 M K Deutsche Übersetzung. 1.2 28. Mai 2020 M K Konvertierung zu AsciiDoc. 1.2- de 28. Mai 2020 M K Einige Schreibfehler korrigiert Copyright © 2020. Alle Rechte vorbehalten. Kontakt zum Mitwirkenden: martin dot koeditz at it dash syn dot de. Anhang B: Lizenzhinweis 10

Firebird Shell-Skripte Norman Dunbar, Mark Rotteveel, Martin Köditz Version 1.3-de, 31. Juli 2020 Inhaltsverzeichnis 1. Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . can be changed by editing this script) Press return to continue - or ^C to abort Updating /etc file(s) Updating /opt/firebird Starting Firebird done Completed hinzugefügt. 1.3 20. Jun. 2020 M R Konvertierung in AsciiDoc, geringfügige Bearbeitung von Texten 1.3- de 31. Jul. 2020 M R Übersetzung ins Deutsche. Anhang A: Dokumentenhistorie 12 Anhang B: Lizenzhinweis

Firebird Datei- und Metadatensicherheit Geoff Worboys;Daniel Albuschat;Martin Köditz Version 0.6-de, 08. Juli 2020 Table of Contents 1. Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . CVS-Repository hinzugefügt. 0.5- de 2. Jan 2009 DA Deutsche Übersetzung 0.6 30. Jun 2020 MR Konvertierung in AsciiDoc, geringfügige Bearbeitung von Texten 0.6- de 8. Jul 2020 MK Deutsche Anpasungen; Copyright © 2020. Alle Rechte vorbehalten. Kontakt zum Mitwirkenden: martin dot koeditz at it dash syn dot de. Appendix B: Lizenzhinweis 19

What’s openEuler? “ A community is a social unit (a group of living things) with commonality such as norms, religion, values, customs, or identity. Communities may share a sense of place situated neighbourhood) or in virtual space through communication platforms. 2 openEuler Community What’s openEuler? openEuler is an open source, free Linux distribution platform. The platform provides an x86_64 ▹ aarch64 ▹ RISC-V Idea Incubating 15 ▹ iSula ▹ StratoVirt ▹ A-Tune iSula + StratoVirt 16 K8s Docker QEMU Container Container Kata iSulad Container StratoVirt secGear Framework 17 secGear

• Friday 2:45pm, David Sankel "Better Code: Validity" AdobeCoping with Other People's Code Adobe 11my crafsman house Adobe 12my crafsman house Adobe 13my crafsman house old-growth cedar Adobe 15post-conference re-entry letdown Adobe 16post-conference re-entry Coping with Other People's Code Adobe 17post-conference re-entry coping is not rewriting 100% to your own tastes Adobe 18triage they also do things like speak up when they have a new solution, jump in and help fx someone else’s mess, and pass their learnings along to others" — Dr Cat Hicks, "Sense of Belonging and Sofware Teams"

ni.com Package Management on Embedded Opkg: Debian’s Little Cousin Alejandro del Castillo ▪ Chief Software Engineer ni.com whoami Introduction NI Linux Real-TIme contributions OPKG ni.com Agenda Helper scripts on opkg-utils repo (build feeds, packages, extract metadata, etc) • Android became the de-facto standard, opkg active development mainly driven by OpenEmbedded • Previous maintainers Thomas dependency management features Solvers ni.com What about Debian? apt-get install apt-cudf apt-get -s --solver aspcud install gdb ni.com SAT Solvers Software engines that use heuristics to solve the

Anne Baanen Alexander Bentkamp Jasmin Blanchette Johannes Hölzl Jannis Limperg The Hitchhiker’s Guide to Logical Verification 2021 Standard Edition (October 13, 2021) lean-forward.github.io/ logic Hales et al. [12]. The earliest work in this area was carried out by Nicolaas de Bruijn and his colleagues starting in the 1960s in a system called AUTOMATH.2 Today, few mathematicians use proof assistants proving, we refer to Harrison, Urban, and Wiedijk’s highly informative chapter [14]. Lean Lean is a new proof assistant developed primarily by Leonardo de Moura (Microsoft Research) since 2012. Its mathematical

Google’s AngularJS Style Guide An AngularJS Style Guide for Closure Users at Google This is the external version of a document that was primarily written for Google engineers. It describes a recommended Javascript, the Good Parts as a counter.) 1 Angular Language Rules • Manage dependencies with Closure’s goog.require and goog.provide • Modules • Modules should reference other modules using the “name” property compilation 4 Best practices links and docs 1 Angular Language Rules Manage dependencies with Closure’s goog.require and goog.provide Choose a namespace for your project, and use goog.provide and goog.require