Обозначения:
C
— клавиша Control, обычно настроена наCtrl
.M
— клавиша Meta, обычно настроена наAlt
.
M-x
ввести командуC-x C-c
закрыть EmacsC-g
прекратить текущую операцию
# Edit this configuration file to define what should be installed on | |
# your system. Help is available in the configuration.nix(5) man page | |
# and in the NixOS manual (accessible by running ‘nixos-help’). | |
{ config, pkgs, lib, ... }: | |
let | |
nvidia-offload = pkgs.writeShellScriptBin "nvidia-offload" '' | |
export __NV_PRIME_RENDER_OFFLOAD=1 | |
export __NV_PRIME_RENDER_OFFLOAD_PROVIDER=NVIDIA-G0 |
Бесплатный VPN это OK? VPN бывают платные и бесплатные. Платные обычно ОК (мошенники бывают в любом бизнесе, конечно).
Бесплатные в ряде случаев не ОК: они могут питаться вашими данными (продавать их третьим лицам) или того хуже майнить биткоин (не уверен, что кто-то это реально делает, но вдруг).
%% | |
%% This is file `newlfm.cls', | |
%% generated with the docstrip utility. | |
%% | |
%% The original source files were: | |
%% | |
%% newlfm.dtx (with options: `package') | |
%% | |
%% \iffalse meta-comment | |
%% \CharacterTable |
artem in prl-julia in ~/Temp/pandoc-2.19.2 took 18m52s | |
❯ dr-cabal profile --input=dr-cabal-debug.json 0 (18:52.487) < 21:47:28 | |
Legend | |
▇ Downloading | |
▇ Starting | |
▇ Building | |
▇ Haddock | |
▇ Installing | |
Summary |
❯ cabal clean && cabal build clc-stackage --with-compiler=/home/artem/data/ghc/remove-st-fail/_build/stage1/bin/ghc | |
Resolving dependencies... | |
Build profile: -w ghc-9.0.1 -O1 | |
In order, the following will be built (use -v for more details): | |
- OpenGLRaw-3.3.4.1 (lib) (requires build) | |
- bindings-GLFW-3.3.2.0 (lib) (requires build) | |
- bson-0.4.0.1 (lib) (requires build) | |
- double-conversion-2.0.2.0 (lib) (first run) | |
- fgl-5.7.0.3 (lib) (first run) | |
- justified-containers-0.3.0.0 (lib) (requires build) |
waymonad-L-as on master via ❄️ impure (ghc-shell-for-packages-0) | |
❯ cabal repl | |
Resolving dependencies... | |
Build profile: -w ghc-8.10.4 -O1 | |
In order, the following will be built (use -v for more details): | |
- hayland-0.1.1.0 (lib) (first run) | |
- hsc2hs-0.68.7 (exe:hsc2hs) (requires build) | |
- hsroots-0.1.0.0 (lib) (first run) | |
- network-3.1.2.1 (lib:network) (requires download & build) | |
- waymonad-scanner-0.1.0.0 (lib) (first run) |
Loading default config | |
unable to lock lockfile /run/user/1000/wayland-0.lock, maybe another compositor is running | |
Opened on socket: wayland-1 | |
2021-02-27 16:22:07 - [types/wlr_idle_inhibit_v1.c:191] idle_inhibit manager created | |
2021-02-27 16:22:07 - [backend/wayland/backend.c:183] Creating wayland backend | |
2021-02-27 16:22:07 - [backend/wayland/backend.c:199] Could not connect to remote display: No such file or directory | |
2021-02-27 16:22:07 - [backend/session/logind.c:663] Successfully loaded logind session | |
2021-02-27 16:22:07 - [backend/backend.c:157] Found 2 GPUs | |
2021-02-27 16:22:07 - [backend/drm/backend.c:152] Initializing DRM backend for /dev/dri/card0 (i915) | |
2021-02-27 16:22:07 - [backend/drm/drm.c:64] Using atomic DRM interface |
Ensuring launcher is up to date | |
Fetching origin | |
Launcher is up-to-date | |
cd /pups && git pull && /pups/bin/pups --stdin | |
Already up to date. | |
I, [2021-02-14T01:33:08.901887 #1] INFO -- : Loading --stdin | |
I, [2021-02-14T01:33:08.913468 #1] INFO -- : > locale-gen $LANG && update-locale | |
I, [2021-02-14T01:33:08.982208 #1] INFO -- : Generating locales (this might take a while)... | |
Generation complete. |
package edu.northeastern.cs7480; | |
terminals true false if then else value | |
Bool in fn | |
syntax | |
t ::= true | |
| false |