aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNguyễn Gia Phong <vn.mcsinyx@gmail.com>2019-12-09 21:40:56 +0700
committerNguyễn Gia Phong <vn.mcsinyx@gmail.com>2019-12-09 21:40:56 +0700
commit08e15819061cc952b24b88efcbb266401f2534bd (patch)
tree89a7a1ec920922c8ce21124dfbefc4f96d982792
parent7a99a87b87ba2e6ab006032eb1687d61d01d9c58 (diff)
downloaddotfiles-08e15819061cc952b24b88efcbb266401f2534bd.tar.gz
Update 2019-12-09
-rw-r--r--configuration.nix118
-rw-r--r--debian/.bashrc4
2 files changed, 120 insertions, 2 deletions
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