From 08e15819061cc952b24b88efcbb266401f2534bd Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <vn.mcsinyx@gmail.com>
Date: Mon, 9 Dec 2019 21:40:56 +0700
Subject: Update 2019-12-09

---
 configuration.nix | 118 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 debian/.bashrc    |   4 +-
 2 files changed, 120 insertions(+), 2 deletions(-)
 create mode 100644 configuration.nix

diff --git a/configuration.nix b/configuration.nix
new file mode 100644
index 0000000..84043a6
--- /dev/null
+++ b/configuration.nix
@@ -0,0 +1,118 @@
+# 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, ... }:
+
+{
+  imports =
+    [ # Include the results of the hardware scan.
+      ./hardware-configuration.nix
+    ];
+
+  # Use the systemd-boot EFI boot loader.
+  boot.loader.systemd-boot.enable = true;
+
+  networking.hostName = "nix"; # Define your hostname.
+  # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.
+
+  # The global useDHCP flag is deprecated, therefore explicitly set to false here.
+  # Per-interface useDHCP will be mandatory in the future, so this generated config
+  # replicates the default behaviour.
+  networking.useDHCP = false;
+  networking.interfaces.enp1s0.useDHCP = true;
+  networking.interfaces.wlp2s0.useDHCP = true;
+
+  # Configure network proxy if necessary
+  # networking.proxy.default = "http://user:password@proxy:port/";
+  # networking.proxy.noProxy = "127.0.0.1,localhost,internal.domain";
+  
+  # Enable NetworkManager
+  networking.networkmanager.enable = true;
+
+  # Select internationalisation properties.
+  i18n = {
+    consoleFont = "Lat2-Terminus16";
+    consoleKeyMap = "us";
+    defaultLocale = "en_US.UTF-8";
+    inputMethod = {
+      enabled = "ibus";
+      ibus.engines = with pkgs.ibus-engines; [ table table-others ];
+    };
+  };
+
+  # Set your time zone.
+  time.timeZone = "Asia/Ho_Chi_Minh";
+
+  # List packages installed in system profile. To search, run:
+  # $ nix search wget
+  environment.systemPackages = with pkgs; with kdeApplications; [
+    ack htop mc stow
+    alacritty emacs git
+    aria2 curl firefox ipfs thunderbird w3m wget
+    ark ktorrent okular spectacle
+    audaciousQt5 ffmpeg-full mpv
+    blender frei0r glfw gmic-qt-krita kdenlive krita simplescreenrecorder
+    dict dictdDBs.eng2fra dictdDBs.fra2eng dictdDBs.wiktionary dictdDBs.wordnet
+    efibootmgr refind
+    gcc gdb man-pages posix_man_pages
+    go guile jdk12 lua octave sbcl
+    lmodern texlive.combined.scheme-full
+    python38Packages.pip python38 python38Packages.setuptools python38Packages.wheel python38Packages.twine
+  ];
+
+  # Some programs need SUID wrappers, can be configured further or are
+  # started in user sessions.
+  programs.mtr.enable = true;
+  programs.gnupg.agent = { enable = true; enableSSHSupport = true; };
+
+  # List services that you want to enable:
+  services.dictd.enable = true;
+  services.dictd.DBs = with pkgs.dictdDBs; [ eng2fra fra2eng
+  		       	    		     wiktionary wordnet ];
+
+  # Emacs daemon
+  services.emacs.enable = false;
+  services.emacs.install = true;
+  services.emacs.defaultEditor = true;
+
+  # Enable the OpenSSH daemon.
+  # services.openssh.enable = true;
+
+  # Open ports in the firewall.
+  # networking.firewall.allowedTCPPorts = [ ... ];
+  # networking.firewall.allowedUDPPorts = [ ... ];
+  # Or disable the firewall altogether.
+  # networking.firewall.enable = false;
+
+  # Enable CUPS to print documents.
+  services.printing.enable = true;
+
+  # Enable sound.
+  sound.enable = true;
+  hardware.pulseaudio.enable = true;
+
+  # Enable the X11 windowing system.
+  services.xserver.enable = true;
+  services.xserver.layout = "us";
+  services.xserver.xkbOptions = "caps:ctrl_modifier,compose:ralt";
+
+  # Enable touchpad support.
+  services.xserver.libinput.enable = true;
+
+  # Enable the KDE Desktop Environment.
+  services.xserver.displayManager.sddm.enable = true;
+  services.xserver.desktopManager.plasma5.enable = true;
+
+  # Define a user account. Don't forget to set a password with ‘passwd’.
+  users.users.cee = {
+    isNormalUser = true;
+    extraGroups = [ "wheel" "networkmanager" ];
+  };
+
+  # This value determines the NixOS release with which your system is to be
+  # compatible, in order to avoid breaking some software such as database
+  # servers. You should change this only after NixOS release notes say you
+  # should.
+  system.stateVersion = "20.03"; # Did you read the comment?
+}
diff --git a/debian/.bashrc b/debian/.bashrc
index 8316d8c..0c4b253 100644
--- a/debian/.bashrc
+++ b/debian/.bashrc
@@ -92,8 +92,8 @@ alias la='ls -A'
 # See /usr/share/doc/bash-doc/examples in the bash-doc package.
 alias l='$(fc -ln -1) | less'
 alias r=ranger
-alias gcc='gcc -Wall -Wextra -O2 -lm'
-alias g++='g++ -Wall -Wextra -O2 -lm'
+alias gcc='gcc -Wall -Wextra -pedantic -O2 -lm'
+alias g++='g++ -Wall -Wextra -pedantic -O2 -lm'
 alias fpc='fpc -O1 -XS -gl'
 alias mpa='mpv --no-video --loop=inf'
 alias raku=perl6
-- 
cgit 1.4.1