proofconstruction
ea8ef428da
Merge pull request #216 from henrik-ch/pill10
...
Pill10
2023-07-10 12:23:35 -05:00
Henrik
e1b2be6893
Update pills/08-generic-builders.xml
...
Co-authored-by: Zach Mitchell, PhD <zmitchell@fastmail.com>
2023-06-22 07:49:45 +01:00
Henrik
7dcefdec89
updated patchelf link to github ( #215 )
2023-06-06 22:28:49 +02:00
Henrik
171fc1a4e0
Update autotools-nix.txt
2023-06-06 17:28:31 +01:00
i97henka
ff7c04d037
hello.nix refresh
...
updated tarball version and small change to indentation.
2023-06-06 17:23:31 +01:00
i97henka
c564d1b663
updated autotools
...
removed and reduced use of with.
2023-06-06 17:18:43 +01:00
Henrik
c9b9aae961
Update autotools-nix.txt
...
now using derivation instead of pkgs.stdenv.mkDerivation
2023-06-06 11:28:42 +01:00
i97henka
04337a7e63
changing to using builtins derivation and rename
...
renaming to mkDerivation
2023-06-05 21:42:34 +01:00
Henrik
f316006776
Update autotools-nix.txt
2023-06-04 21:21:52 +01:00
Henrik
6cdbf50683
Update autotools-nix.txt
2023-06-04 21:21:20 +01:00
i97henka
b1a8646ce9
updated darwin version accordingly.
...
not tested
2023-06-04 00:07:16 +01:00
i97henka
6bce7954ef
improved indentation
2023-06-04 00:04:42 +01:00
i97henka
5bafd468eb
changed function name mymkDerivation
...
to avoid collision & confusion with standard function.
2023-06-04 00:01:01 +01:00
i97henka
73658ddd83
updated third version of hello file.
2023-06-03 23:48:26 +01:00
i97henka
d4deaeaebe
updated autotools.nix - reduced scope of with.
2023-06-03 23:41:45 +01:00
i97henka
a826d304a0
changing hello.nix
...
NB Darwin variant still outstanding.
2023-06-03 16:28:36 +01:00
i97henka
b865367523
updating builder new hello version.
2023-06-03 16:20:54 +01:00
i97henka
9ebdbda7a9
updated hello tar gz link.
2023-06-03 15:43:56 +01:00
Henrik
29e1e273b8
with removed from first line ( #213 )
...
* with removed from first line
example no longer starts with with (import <nixpkgs> {});
* added inherit example and comments.
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
2023-06-02 18:17:10 +02:00
Valentin Gagarin
4d59f3bb11
Merge pull request #206 from henrik-ch/remove-install-instructions
...
removing installation instructions
2023-04-06 18:12:56 +02:00
Valentin Gagarin
a6cf5ed410
fix wording
2023-04-06 18:12:34 +02:00
Sergei Trofimovich
f6fa67fc2b
Merge pull request #211 from mklntf/fix/repository-derivation-snippet
...
Pill 13: Fix typo in repository derivation snippet
2023-04-05 21:39:48 +01:00
Markus Fuchs
f95dd06a92
Pill 13: Fix typo in repository derivation snippet
2023-04-05 20:57:17 +02:00
Sergei Trofimovich
2f263f3a66
Merge pull request #210 from mistydemeo/wrapped_hello_permissions
...
Pill 20: allow wrapped hello to be executed
2023-03-31 23:13:23 +01:00
Misty De Méo
560d0beac7
Pill 20: allow wrapped hello to be executed
...
As written, this produces a script without the execute bit
set, which may confuse users who want to try actually running
it after building.
2023-03-31 14:32:39 -07:00
Sergei Trofimovich
6f9e091269
Merge pull request #209 from mistydemeo/fix_asciidoc_name
...
Pill 17: fix asciidoc-full name
2023-03-31 22:05:32 +01:00
Misty De Méo
d12bd1b71d
Pill 17: fix asciidoc-full name
...
Attempting to build this as specified in the current docs
fails with the error:
nix-repl> :b pkgs.asciidocFull
error: 'asciidocFull' has been renamed to/replaced by 'asciidoc-full'
2023-03-31 09:58:53 -07:00
Sergei Trofimovich
d5a77c7225
Merge pull request #208 from mistydemeo/fix_graphviz_override
...
Pill 17: fix graphviz xorg override
2023-03-31 06:50:43 +01:00
Misty De Méo
175f64b37d
Pill 17: fix graphviz xorg override
...
In the current version of nix, overriding `xorg = null;`
no longer seems to work; overriding the `withXorg` attribute
allows it to pass instead.
2023-03-30 17:16:27 -07:00
Valentin Gagarin
f117b0a060
Merge pull request #207 from mistydemeo/fix_hello-nix-darwin
2023-03-29 01:43:52 +02:00
Misty De Méo
059c9bed55
Pill 8: fix Darwin reference to binutils
...
The Darwin nix still assigns to `binutils`, even though the
builder itself was updated to point to `bintools` in
ce931b9697
. Fixing this ensures
the hello example actually builds on Darwin.
2023-03-28 13:57:29 -07:00
i97henka
f0474ddd7f
removing installation instructions
...
Instead refering to original link which links to the
Nix manual.
2023-03-26 17:18:45 +01:00
Valentin Gagarin
c02fb1ef30
Merge pull request #205 from CyrusYip/patch-1
...
Use HTTPS links in 8th pill
2023-03-09 15:06:57 +01:00
Cyrus Yip
ec09dd0d1b
Use HTTPS links in 8th pill
...
HTTPS is safer.
2023-03-09 21:05:02 +08:00
Valentin Gagarin
37562a2b57
Merge pull request #204 from jamesreprise/nixpill6-typos
2023-02-24 00:43:12 +01:00
James Williams
5cdd76edd5
fix: typos in 'Our First Derivation'
2023-02-23 22:06:53 +00:00
Jörg Thalheim
a044b2824d
Merge pull request #174 from nielsegberts/declare
...
Output of declare -xp is no longer visible in the repl
2023-01-10 08:28:54 +01:00
Valentin Gagarin
d745db6a41
Merge pull request #200 from NixOS/epub-link
...
Add EPUB link
2022-09-02 13:26:47 +02:00
Jan Tojnar
234ac86991
readme: add EPUB link
2022-09-01 22:21:11 +02:00
Jan Tojnar
94ff26a07e
preface: Add EPUB link
2022-09-01 22:21:11 +02:00
Jan Tojnar
9fef24423b
Update README
...
The pills are now fully ported so we can drop that line.
Also fix list of DocBook elements link and mention EPUB build.
2022-09-01 11:10:19 +02:00
Jan Tojnar
49c3ae8720
build: Add EPUB support
...
You can get it by running `nix-build release.nix -A epub`
2022-09-01 09:58:13 +02:00
Jan Tojnar
841d008f51
build: Only install svg images
2022-09-01 09:55:27 +02:00
Jan Tojnar
b4b41c87af
build: Quote bash variables
2022-09-01 09:55:27 +02:00
Jan Tojnar
0d7e5019d6
build: Drop DocBook schema validation
...
It was not actually used because we did not pass it the manual.
And if we fix it by replacing the Bash `$combined` variable by a Nix one,
it will fail because we only have RelaxNG schema for Docbook 5.0,
which unlike later versions is too limited (e.g. does not allow
emphasis element within filename element).
- https://tdg.docbook.org/tdg/5.0/filename.html
- https://tdg.docbook.org/tdg/5.2/filename.html
2022-09-01 09:55:27 +02:00
Sergei Trofimovich
4f3df4b375
Merge pull request #198 from yonran/fix-links-to-nixpkgs
...
Fix link to reference to config.nix again
2022-06-28 23:43:43 +01:00
Yonathan Randolph
3dd74978f3
Fix link to reference to config.nix again
...
In 2815ca0fab
I accidentally changed a config.nix link to point to the fix definition instead. This commit reverts that part of the previous commit.
2022-06-28 14:36:05 -07:00
Sergei Trofimovich
6b639c1a46
Merge pull request #197 from yonran/fix-links-to-nixpkgs
...
Fix links to nixpkgs source
2022-06-28 22:23:47 +01:00
Yonathan Randolph
2815ca0fab
Fix link to fix function in nixpkgs source
...
Link to today's permalink at github instead of master. The fix function was moved from trivial.nix to fixed-points.nix
87b4a91fc4
2022-06-28 14:12:30 -07:00
Yonathan Randolph
ddd0a63dac
Fix links to config.nix in source
...
Link to today's permalink at github instead of master. When this was originally written, ~/.nixpkgs/config.nix was loaded by all-packages.nix. But this was moved to pkgs/top-level/default.nix and then to pkgs/top-level/impure.nix
ad31783405
4af2bf6663
2022-06-28 13:48:16 -07:00