;; -*- mode: scheme; -*-
;; This is an operating system configuration template for a "Docker image"
;; setup, so it has barely any services at all.

(use-modules (gnu))

(operating-system
  (host-name "komputilo")
  (timezone "Europe/Berlin")
  (locale "en_US.utf8")

  ;; This is where user accounts are specified.  The "root" account is
  ;; implicit, and is initially created with the empty password.
  (users (cons (user-account
                (name "alice")
                (comment "Bob's sister")
                (group "users")
                (supplementary-groups '("wheel"
                                        "audio" "video")))
               %base-user-accounts))

  ;; Globally-installed packages.
  (packages %base-packages)

  ;; Because the system will run in a Docker container, we may omit many
  ;; things that would normally be required in an operating system
  ;; configuration file.  These things include:
  ;;
  ;;   * bootloader
  ;;   * file-systems
  ;;   * services such as mingetty, udevd, slim, networking, dhcp
  ;;
  ;; Either these things are simply not required, or Docker provides
  ;; similar services for us.

  ;; This will be ignored.
  (bootloader (bootloader-configuration
               (bootloader grub-bootloader)
               (targets '("does-not-matter"))))
  ;; This will be ignored, too.
  (file-systems (list (file-system
                        (device "does-not-matter")
                        (mount-point "/")
                        (type "does-not-matter"))))

  ;; Guix is all you need!
  (services (list (service guix-service-type))))
 action='/guix/log/gnu/packages/prolog.scm'>
<input type='hidden' name='id' value='8b2708a5660bd74a87c0247c43bdbba38632015a'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=8b2708a5660bd74a87c0247c43bdbba38632015a'>root</a>/<a href='/guix/log/gnu?id=8b2708a5660bd74a87c0247c43bdbba38632015a'>gnu</a>/<a href='/guix/log/gnu/packages?id=8b2708a5660bd74a87c0247c43bdbba38632015a'>packages</a>/<a href='/guix/log/gnu/packages/prolog.scm?id=8b2708a5660bd74a87c0247c43bdbba38632015a'>prolog.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/prolog.scm?id=8b2708a5660bd74a87c0247c43bdbba38632015a&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-01-24 16:31:13 -0600'>2020-01-24</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=2aa1e76519199d800a334e7ef8883be34ea3dd62'>gnu: swi-prolog: Update to 8.1.21.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.21.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-04 14:52:22 -0600'>2020-01-04</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=bcd47c67b04c94e33631fd9a71fd907a9eed379b'>gnu: swi-prolog: Update to 8.1.20.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-04 14:51:44 -0600'>2020-01-04</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=235c67341b5373f7d21edfd56a2ff19da4a25efb'>gnu: swi-prolog: Modify documentation installation.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
  for PDF documentation.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-04 14:50:52 -0600'>2020-01-04</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=5a92e7c9542f60cfe9d932833bbe61d0af7a2860'>gnu: swi-prolog: Enable tests.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/prolog.scm (swi-prolog)[arguments]: Enable tests and work
  around tests that cause failure by trying to write to the store, or
  establishing a network connection.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-03 21:44:18 -0600'>2020-01-03</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=7eef98484c4eea2ce92fd53a86a001f006a78c16'>gnu: Add swi-prolog.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/prolog.scm (swi-prolog): New variable.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-03 21:43:34 -0600'>2020-01-03</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=e4ed9929532794b5b52c795b7356ff7413829eed'>gnu: gprolog: Use license prefix.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-03 20:15:44 -0600'>2020-01-03</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=a06a4f918243dc784f9089d60690559b72a4e308'>Revert "gnu: Add swi-prolog."</a><span class='msg-avail'>...<span class='msg-tooltip'>This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-03 19:59:00 -0600'>2020-01-03</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=3f37f3909712eb7269b6e8184c0d61bfc61b67f9'>gnu: Add swi-prolog.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/prolog.scm (swi-prolog): New variable.
</span></span></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-01-03 19:53:04 -0600'>2020-01-03</span></td><td><a href='/guix/commit/gnu/packages/prolog.scm?id=d98e64b4e5b46a67b582df5032647bb169427d6d'>gnu: Rename module gprolog to prolog.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/local.mk (GNU_SYSTEM_MODULES): Replace gprolog.scm =&gt; prolog.scm.
* gnu/packages/{gprolog.scm -&gt; prolog.scm}: Rename file so it is not
  implementation specific.
</span></span></td><td>Brett Gilio</td></tr>