gregorbednov/configuration.nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

corrected ip

Browse source
This commit is contained in:
Gregory Bednov 2025-02-22 13:46:14 +03:00
commit 27dd0b0387
2 changed files with 80 additions and 135 deletions
Download patch file Download diff file Expand all files Collapse all files

157
configuration.nix
View file

@ -4,15 +4,13 @@
pkgs, pkgs,
simintech, simintech,
stm32cubemx, stm32cubemx,
packettracer7,
inputs, inputs,
... ...
}: }:
let let
serverIP = "10.0.174.12"; serverIP = "10.0.174.12";
hasBootPartition = config.fileSystems ? "/boot"; hasBootPartition = config.fileSystems ? "/boot";
isNvidia = (builtins.readFile (pkgs.runCommandLocal "isNvidia" {} ''
${pkgs.pciutils}/bin/lspci | ${pkgs.busybox}/bin/grep NVIDIA | ${pkgs.busybox}/bin/grep VGA > $out
'')) != "";
in in
{ {
users.users.student = { users.users.student = {
@ -22,65 +20,19 @@ in
packages = packages =
let let
# определение как скачивать плагины jetbrains (скачивать с нашего сервера копию) # определение как скачивать плагины jetbrains (скачивать с нашего сервера копию)
customJBPlugin = customJBPlugin =
nam: ver: sha: nam: ver: sha:
pkgs.stdenv.mkDerivation { pkgs.stdenv.mkDerivation {
name = nam; name = nam;
version = ver; version = ver;
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "http://kafpi.local/custom-jetbrains-plugins/${nam}-${ver}.zip"; url = "http://${serverIP}/custom-jetbrains-plugins/${nam}-${ver}.zip";
sha256 = sha; sha256 = sha;
}; };
nativeBuildInputs = with pkgs; [ unzip ]; nativeBuildInputs = with pkgs; [ unzip ];
dontUnpack = true; dontUnpack = true;
installPhase = "unzip $src; mkdir -p $out; mv ./${nam}/* $out"; installPhase = "unzip $src; mkdir -p $out; mv ./${nam}/* $out";
}; };
ptFiles = pkgs.stdenv.mkDerivation {
name = "PacketTracer7drv";
version = "7.3.1";
dontUnpack = true;
src = pkgs.fetchurl {
url = "http://kafpi.local/PacketTracer_731_amd64.deb";
hash = "sha256-w5gC0V3WHQC6J/uMEW2kX9hWKrS0mZZVWtZriN6s4n8=";
};
nativeBuildInputs = with pkgs; [
dpkg
makeWrapper
];
installPhase = ''
dpkg-deb -x $src $out
makeWrapper "$out/opt/pt/bin/PacketTracer7" "$out/bin/packettracer7" \
--prefix LD_LIBRARY_PATH : "$out/opt/pt/bin"
'';
};
ptFhsEnv = pkgs.buildFHSEnv {
name = "packettracer7";
runScript = "${ptFiles}/bin/packettracer7 -guest";
targetPkgs =
pkgs: with pkgs; [
alsa-lib
dbus
expat
fontconfig
glib
libglvnd
libpulseaudio
libudev0-shim
libxkbcommon
libxml2
libxslt
nspr
nss
xorg.libICE
xorg.libSM
xorg.libX11
xorg.libXScrnSaver
];
};
in in
with pkgs; with pkgs;
[ [
@ -89,11 +41,12 @@ in
# набор плагинов, я бы сказал, богат до избыточности, но главное есть Python # набор плагинов, я бы сказал, богат до избыточности, но главное есть Python
# и Database Nagivator. Остальное - любителям и любознательным. # и Database Nagivator. Остальное - любителям и любознательным.
(with inputs.nix-jetbrains-plugins.plugins."${system}"; [ (with inputs.nix-jetbrains-plugins.plugins."${system}"; [
idea-community."2024.1"."mobi.hsz.idea.gitignore" #idea-community."2024.1"."mobi.hsz.idea.gitignore"
idea-community."2024.1"."org.jetbrains.erlang" idea-community."2024.1"."org.jetbrains.erlang"
idea-community."2024.1"."JProfiler" idea-community."2024.1"."JProfiler"
idea-community."2024.1"."DBN" idea-community."2024.1"."DBN"
idea-community."2024.1"."MatlabSupport" idea-community."2024.1"."MatlabSupport"
#idea-community."2024.1"."com.intellij.notebooks.core"
idea-community."2024.1"."PlantUML integration" idea-community."2024.1"."PlantUML integration"
idea-community."2024.1"."org.intellij.scala" idea-community."2024.1"."org.intellij.scala"
idea-community."2024.1"."PythonCore" idea-community."2024.1"."PythonCore"
@ -105,10 +58,11 @@ in
idea-community."2024.1"."String Manipulation" idea-community."2024.1"."String Manipulation"
idea-community."2024.1"."quokka.js" idea-community."2024.1"."quokka.js"
idea-community."2024.1"."org.asciidoctor.intellij.asciidoc" idea-community."2024.1"."org.asciidoctor.intellij.asciidoc"
idea-community."2024.1"."R4Intellij" #idea-community."2024.1"."R4Intellij"
idea-community."2024.1"."com.redhat.devtools.lsp4ij" idea-community."2024.1"."com.redhat.devtools.lsp4ij"
]) ])
++ [ ++
[
# поддежка языка C/C++ на уровне подсветки синтаксиса и автодополнения # поддежка языка C/C++ на уровне подсветки синтаксиса и автодополнения
(customJBPlugin "clsp" "1.0.1" "sha256-AU/Q61YYsGn2BAYykCGm4XGNyeSwd5K/txGNzP2dJg0=") (customJBPlugin "clsp" "1.0.1" "sha256-AU/Q61YYsGn2BAYykCGm4XGNyeSwd5K/txGNzP2dJg0=")
@ -147,7 +101,7 @@ in
# поставка Python, полный список возможностей # поставка Python, полный список возможностей
# см. на github.com/gregorybednov/mireapython # см. на github.com/gregorybednov/mireapython
inputs.mireapython.packages.x86_64-linux.mireapython inputs.mireapython.packages.x86_64-linux.mireapython
# базовая поддержка C/C++ и дебага # базовая поддержка C/C++ и дебага
clang clang
@ -156,7 +110,7 @@ in
cpplint cpplint
cppcheck cppcheck
gcc-arm-embedded # компиляция С/C++ под STM32 и прочие arm gcc-arm-embedded # компиляция С/C++ под STM32 и прочие arm
octaveFull # GNU Octave octaveFull # GNU Octave
shellcheck # проверка шелл-кода (bash, POSIX sh, ...) shellcheck # проверка шелл-кода (bash, POSIX sh, ...)
@ -166,7 +120,7 @@ in
# go gopls delve golint go-tools # - Go # go gopls delve golint go-tools # - Go
jdk kotlin # - Java, Kotlin (идут вместе с IJ IDEA) jdk kotlin # - Java, Kotlin (идут вместе с IJ IDEA)
# ghc haskell-language-server # - Haskell # ghc haskell-language-server # - Haskell
# nodePackages.intelephense # - PHP # nodePackages.intelephense # - PHP
# dotnet-sdk # - C# # dotnet-sdk # - C#
####### Проектирование и разработка баз данных, ИУС, ... ####### ####### Проектирование и разработка баз данных, ИУС, ... #######
@ -174,19 +128,19 @@ in
# Workbench для управления и ER-моделирования БД на mysql # Workbench для управления и ER-моделирования БД на mysql
# у КАЖДОГО nixos есть свой локальный сервер mysql, см. ниже по файлу # у КАЖДОГО nixos есть свой локальный сервер mysql, см. ниже по файлу
mysql-workbench mysql-workbench
# аналог Bizagi Modeler, расширенный вариант bpmn.io # аналог Bizagi Modeler, расширенный вариант bpmn.io
camunda-modeler camunda-modeler
# графическое моделирование UML-диаграмм # графическое моделирование UML-диаграмм
# также доступно моделирование BPMN и ER # также доступно моделирование BPMN и ER
staruml staruml
# Язык текстового описания UML-диаграмм # Язык текстового описания UML-диаграмм
# актуально для разработчиков ПО (встраивание диаграмм в код) # актуально для разработчиков ПО (встраивание диаграмм в код)
# поддерживается нашей поставкой IJ IDEA CE # поддерживается нашей поставкой IJ IDEA CE
plantuml plantuml
archi # поддержка archimate archi # поддержка archimate
@ -200,31 +154,8 @@ in
stlink-gui stlink-gui
stm32loader stm32loader
##### СЕТЕВЫЕ УТИЛИТЫ ####### ##### СЕТЕВЫЕ УТИЛИТЫ ######
(pkgs.stdenv.mkDerivation { # установлен Cisco Packet Tracer, обернут в firejail чтобы не стучался на Netacad.com
pname = "ciscoPacketTracer7";
version = "7.3.1";
dontUnpack = true;
installPhase = ''
mkdir $out
${pkgs.xorg.lndir}/bin/lndir -silent ${ptFhsEnv} $out
'';
desktopItems = [
(pkgs.makeDesktopItem {
name = "cisco-pt7.desktop";
desktopName = "Cisco Packet Tracer 7";
icon = "${ptFiles}/opt/pt/art/app.png";
exec = "packettracer7 %f";
mimeTypes = [
"application/x-pkt"
"application/x-pka"
"application/x-pkz"
];
})];
nativeBuildInputs = [ copyDesktopItems pkgs.xorg.lndir ];
})
nodePackages.node-red # - лоукод-платформа программирования устройств, в частности интернета вещей nodePackages.node-red # - лоукод-платформа программирования устройств, в частности интернета вещей
httpie httpie-desktop # - передовой клиент HTTP-запросов httpie httpie-desktop # - передовой клиент HTTP-запросов
netcat socat # - низкоуровневые простейшие утилиты установления TCP или UDP между компьютерами или с ПЛК netcat socat # - низкоуровневые простейшие утилиты установления TCP или UDP между компьютерами или с ПЛК
@ -238,7 +169,7 @@ in
pname = "cnc_vmc_sim"; pname = "cnc_vmc_sim";
version = "1.0.0-share"; version = "1.0.0-share";
src = builtins.fetchTarball { src = builtins.fetchTarball {
url = "http://kafpi.local/linux_cnc_vmc_share.tar.xz"; url = "http://${serverIP}/linux_cnc_vmc_share.tar.xz";
sha256 = "sha256:1hjkm2wq6dfmddb2van1q8hdvf41bp4snslcbkj0b1myi3zpi1md"; sha256 = "sha256:1hjkm2wq6dfmddb2van1q8hdvf41bp4snslcbkj0b1myi3zpi1md";
}; };
@ -277,11 +208,11 @@ in
pname = "ramus"; pname = "ramus";
version = "0.1.3"; version = "0.1.3";
src = builtins.fetchTarball { src = builtins.fetchTarball {
url = "http://10.0.174.12:30000/ramus.tar.xz"; url = "http://${serverIP}/ramus.tar.xz";
sha256 = "sha256:1a9fha7zwyyag0q4glk58pzigqdczshxpnax7cdzg1bry4aw6f9d"; sha256 = "sha256:1a9fha7zwyyag0q4glk58pzigqdczshxpnax7cdzg1bry4aw6f9d";
}; };
installPhase = '' installPhase = ''
sed -e "s~ramus.ico~$out/share/icons/ramus.ico~;" -i share/applications/ramus.desktop sed -e "s~ramus.ico~$out/share/icons/ramus.ico~; s~Other~Database~" -i share/applications/ramus.desktop
mkdir $out mkdir $out
cp -r share bin lib $out cp -r share bin lib $out
echo "JDK_JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel' ${pkgs.jre8}/bin/java -jar $out/bin/ramus-startup.jar" > $out/bin/ramus echo "JDK_JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel' ${pkgs.jre8}/bin/java -jar $out/bin/ramus-startup.jar" > $out/bin/ramus
@ -293,7 +224,7 @@ in
# поставка SimInTech. Кодогенерация библиотек для ПК работает, # поставка SimInTech. Кодогенерация библиотек для ПК работает,
# но несовместима с .dll из windows! # но несовместима с .dll из windows!
simintech.packages.x86_64-linux.simintech simintech.packages.x86_64-linux.simintech
# POSIX утилиты для совместимости # POSIX утилиты для совместимости
om4 om4
pax pax
@ -306,15 +237,15 @@ in
uucp uucp
util-linux util-linux
cflow cflow
ncompress ncompress
]; ];
}; };
# вставленные флешки автоматически монтируются # вставленные флешки автоматически монтируются
services.devmon.enable = true; services.devmon.enable = true;
# необходимо для совместимости с POSIX по команде at, при отсутствии необходимости можно удалить # необходимо для совместимости с POSIX по команде at, при отсутствии необходимости можно удалить
services.atd = { services.atd = {
enable = true; enable = true;
allowEveryone = true; allowEveryone = true;
}; };
@ -331,7 +262,7 @@ in
local all all trust local all all trust
''; '';
}; };
# и оба поддерживают вход без пароля в "руты" # и оба поддерживают вход без пароля в "руты"
system.userActivationScripts.mycnf = { system.userActivationScripts.mycnf = {
text = '' text = ''
@ -424,7 +355,7 @@ in
"NVreg_EnablePCIeGen3=1" "NVreg_EnablePCIeGen3=1"
"NVreg_RegistryDwords=RMUseSwI2c=0x01;RMI2cSpeed=100" "NVreg_RegistryDwords=RMUseSwI2c=0x01;RMI2cSpeed=100"
]; ];
services.displayManager.autoLogin.user = "student"; services.displayManager.autoLogin.user = "student";
services.getty.autologinUser = "student"; services.getty.autologinUser = "student";
services.xserver.displayManager.lightdm.enable = true; services.xserver.displayManager.lightdm.enable = true;
@ -454,7 +385,7 @@ in
##### СЕТЕВЫЕ НАСТРОЙКИ ####### ##### СЕТЕВЫЕ НАСТРОЙКИ #######
# каждый компьютер виден под уникальным именем через Avahi # каждый компьютер виден под уникальным именем через Avahi
services.avahi = { services.avahi = {
hostName = "nixos" hostName = "nixos"
+ builtins.readFile ((pkgs.runCommandLocal "uuid" {} '' + builtins.readFile ((pkgs.runCommandLocal "uuid" {} ''
mkdir $out mkdir $out
cat /proc/sys/kernel/random/uuid > $out/uuid cat /proc/sys/kernel/random/uuid > $out/uuid
@ -475,23 +406,23 @@ in
networking.networkmanager.enable = true; networking.networkmanager.enable = true;
networking.hostName = "nixos"; networking.hostName = "nixos";
# каждый компьютер ресолвит DNS-запросы СТРОГО через наш сервер # каждый компьютер ресолвит DNS-запросы СТРОГО через наш сервер
networking.nameservers = [ serverIP ]; networking.nameservers = [ serverIP ];
# каждый компьютер знает, что kafpi.local - это адрес нашего сервера # каждый компьютер знает, что kafpi.local - это адрес нашего сервера
networking.hosts."${serverIP}" = [ "kafpi.local" "hydra.kafpi.local" ]; networking.hosts."${serverIP}" = [ "kafpi.local" "hydra.kafpi.local" ];
security.pki.certificateFiles = [ #security.pki.certificateFiles = [
(builtins.fetchurl { # (builtins.fetchurl {
url = "http://10.0.174.12/server.crt"; # url = "http://${serverIP}/server.crt";
sha256 = "sha256:0qx4acdhiciffvk1l7wkxyzapjwjy9zisq0mwyl727x97zrmi5ds"; # sha256 = "sha256:0qx4acdhiciffvk1l7wkxyzapjwjy9zisq0mwyl727x97zrmi5ds";
}) # })
(builtins.fetchurl { # (builtins.fetchurl {
url = "http://10.0.174.12/hydra.crt"; # url = "http://${serverIP}/hydra.crt";
sha256 = "sha256:1l5cvsikb5dnf49ajjjmz50avfkxm28jy65vnb9xidlv5vapi1zp"; # sha256 = "sha256:1l5cvsikb5dnf49ajjjmz50avfkxm28jy65vnb9xidlv5vapi1zp";
}) # })
]; #];
#### ЛОКАЛИЗАЦИЯ ##### #### ЛОКАЛИЗАЦИЯ #####
time.timeZone = "Europe/Moscow"; time.timeZone = "Europe/Moscow";
@ -529,6 +460,15 @@ in
services.gnome.gnome-keyring.enable = true; services.gnome.gnome-keyring.enable = true;
programs = { programs = {
firejail = {
enable = true;
wrappedBinaries = {
packettracer7 = {
executable = "${packettracer7.packages.x86_64-linux.default}/bin/packettracer7";
extraArgs = [ "--net=none" "--noprofile" ];
};
};
};
java.enable = true; java.enable = true;
gnupg.agent = { gnupg.agent = {
enable = true; enable = true;
@ -549,3 +489,4 @@ in
# НЕ МЕНЯТЬ, иначе придётся все компы переустанавливать, а не обновлять # НЕ МЕНЯТЬ, иначе придётся все компы переустанавливать, а не обновлять
system.stateVersion = "24.05"; system.stateVersion = "24.05";
} }

58
flake.nix
View file

@ -1,30 +1,34 @@
{ {
inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.11"; inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.11";
inputs.simintech.url = "github:gregorybednov/simintech_nix"; # /94cb0192edb8f42e21362dae2c3712a4cfa7d71e; inputs.simintech.url = "github:gregorybednov/simintech_nix"; # /94cb0192edb8f42e21362dae2c3712a4cfa7d71e;
inputs.mireadesktop.url = "github:gregorybednov/mireadesktop"; inputs.mireadesktop.url = "github:gregorybednov/mireadesktop";
inputs.stm32cubemx.url = "github:gregorybednov/stm32cubemx"; inputs.stm32cubemx.url = "github:gregorybednov/stm32cubemx";
inputs.gostfont.url = "github:gregorybednov/gostfont"; inputs.packettracer7.url = "github:gregorybednov/packettracer7";
inputs.nix-jetbrains-plugins.url = "github:gregorybednov/nix-jetbrains-plugins"; inputs.gostfont.url = "github:gregorybednov/gostfont";
inputs.mireapython.url = "github:gregorybednov/mireapython"; inputs.nix-jetbrains-plugins.url = "github:gregorybednov/nix-jetbrains-plugins";
inputs.mireapython.url = "github:gregorybednov/mireapython";
outputs =
{ outputs =
self, {
nixpkgs, self,
simintech, nixpkgs,
stm32cubemx, simintech,
... stm32cubemx,
}@inputs: packettracer7,
{ ...
nixosConfigurations.nixos = nixpkgs.lib.nixosSystem { }@inputs:
specialArgs = { {
inherit simintech; nixosConfigurations.nixos = nixpkgs.lib.nixosSystem {
inherit stm32cubemx; specialArgs = {
inherit inputs; inherit simintech;
inherit stm32cubemx;
inherit packettracer7;
inherit inputs;
};
modules = [
./configuration.nix
];
}; };
modules = [
./configuration.nix
];
}; };
}; }
}