nix

6熱

1答えて

私はNixパッケージを持っています。私はドッカーコンテナにバンドルしたいと思います。具体的には、より高速な（非線形の）イメージビルドを実現するために、Dockerfileの代わりにNixを使いたいと考えています。私はdockerTools.buildImageに関する文書を見つけましたが、最小限の作業例がありたいと思っています。ドッキング用の容器に何が残っているのかも知りたいと思います。

1熱

1答えて

Nix boost install missesヘッダー

nixパッケージマネージャーを使用して$ nix-env -i boostでブーストをインストールしましたが、私の現在の世代のブーストヘッダーはありません。したがって、~/.nix-profile/include/boostは終了しませんが、ブーストライブラリファイルは~/.nix-profile/libにあります。 nixストアで検索し、ストア内のboost-devというフォルダにヘッダーがあ

5熱

1答えて

nixを使ってシンプルなhaskellライブラリを構築する

私はしばらくの間、Nixに興味がありました。そして、私はついにそれを新しいhaskellプロジェクトの開始に使用しようと考えました。 name: project version: 0.1.0.0 build-type: Simple license: MIT cabal-version: >= 1.18 library exposed-modules: Lib bu

1熱

1答えて

nix-build：bashパーミッションが拒否されました

私はNix式を書くことを学ぼうとしています。私は非常にシンプルな "Hello World！" （伝統と同じように）。だから私はこれだけdefault.nixファイルと私のDIRています。ここ {pkgs ? import <nixpkgs> {}}: derivation { system = "x86_64-linux"; name = "simple-bash-der

0熱

2答えて

nixで構築されたドックラーコンテナのサイズを最小化

私は、nixのdockerToolsでドッカーにpythonアプリケーションをパックしていますが、画像サイズ以外はすべて良好です。 Python自体は約40MBで、numpyとpandasを追加すると数百メガバイトになりますが、アプリケーションコードは約100KBです。私が見る唯一の解決策は、依存関係を別のイメージにパックし、それからメインのものを継承することです。サイズを修正することはできませ

0熱

1答えて

Nix：インストールssreflect

私はCoq（バージョン8.5-6）を使用しています。私はssreflect、好ましくはw/Nixもインストールしたいと思う。私がこれについて見つけた唯一の情報はhereです。しかし、単にssreflectをインストールするだけではありません。それにもかかわらず、私はそれを試してみましたが、何百という警告（さまざまな.vと.ml4ファイルの内容について）が終了し、処理が終了するのを待つことができませ

1熱

1答えて

NixOps - Python FlaskでNginxプロキシパスを設定する

私はNixを初めて使い、Python Flask WebサービスをNginx proxy_passに渡すサービスを実装しようとしています。これはこれまで私が試したことです。 with import <nixpkgs> {}; let buildInputs = [ nginx python35Packages.python pyt

1熱

1答えて

vim_configurable.customizeでpython3でPythonを上書きする

私は、カスタムVimをNixで設定するためのテンプレートthisをフォローしています。次のように私のvim-config/default.nixは次のとおりです。 { pkgs }: let my_plugins = import ./plugins.nix { inherit (pkgs) vimUtils fetchFromGitHub; }; in with (pkgs //