diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2021-01-05 14:00:24 -0500 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2021-01-05 14:41:52 -0500 |
| commit | 4eb13669a0b0bcf9aade28510baf06315ec04658 (patch) | |
| tree | 3d5e52f8d8d74668b362b3a25ef2987c8131168b /pkgs/applications/science/logic/ott | |
| parent | 0f52f3092889153a1aec19f650005359f2bba5fa (diff) | |
| download | nixpkgs-4eb13669a0b0bcf9aade28510baf06315ec04658.tar nixpkgs-4eb13669a0b0bcf9aade28510baf06315ec04658.tar.gz nixpkgs-4eb13669a0b0bcf9aade28510baf06315ec04658.tar.bz2 nixpkgs-4eb13669a0b0bcf9aade28510baf06315ec04658.tar.lz nixpkgs-4eb13669a0b0bcf9aade28510baf06315ec04658.tar.xz nixpkgs-4eb13669a0b0bcf9aade28510baf06315ec04658.tar.zst nixpkgs-4eb13669a0b0bcf9aade28510baf06315ec04658.zip | |
ott: Don't also install emacs mode
There is now a separate package for that.
Diffstat (limited to 'pkgs/applications/science/logic/ott')
| -rw-r--r-- | pkgs/applications/science/logic/ott/default.nix | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/ott/default.nix b/pkgs/applications/science/logic/ott/default.nix index 48ad63eaa99..15a9fa5ccab 100644 --- a/pkgs/applications/science/logic/ott/default.nix +++ b/pkgs/applications/science/logic/ott/default.nix @@ -16,7 +16,13 @@ stdenv.mkDerivation rec { installTargets = "ott.install"; - postInstall = "opaline -prefix $out"; + postInstall = '' + opaline -prefix $out + '' + # There is `emacsPackages.ott-mode` for this now. + + '' + rm -r $out/share/emacs + ''; meta = { description = "A tool for the working semanticist"; |