commit 6df041eda82b6d6cdbf02a77ea8b7c36c641e925
parent cba6df16f4b125f28c7fc4facccdd81b4f3c5a0b
Author: E.A.Bekhtenev <E.A.Bekhtenev@inp.nsk.su>
Date: Thu, 10 Feb 2022 12:22:04 +0700
update update
Diffstat:
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/update.md b/update.md
@@ -7,10 +7,18 @@ CSS: table.css
# Обновление opi файлов
+## Суперрепозиторий
+
+```
+make pull
+```
+
+## скриптом
+
Чтобы держать **opi** файлы в актуальном состоянии в директорию
с ними поместить скрипт для обновления всего.
-## linux
+### linux
```sh
#!/bin/bash
@@ -24,7 +32,7 @@ for i in *-opi *-orbit; do
done
```
-## windows
+### windows
```cmd
@REM Do not use "echo off" to not affect any child calls.