Jako doplněk k předchozí odpovědi můžete použít jedno z následujících 3 řešení.
sed
Vytiskněte pouze řádky v rozsahu a přesměrujte jej do výstupního souboru
sed -n '10,15p' file1.txt > file2.txt
kombinace hlavy a ocasu
Použijte hlavu a patu k oříznutí souboru a získání pouze rozsahu, který potřebujete před přesměrováním výstupu do souboru
head -n 15 file1.txt | tail -n 6 > file2.txt
awk
Vytiskněte pouze řádky v rozsahu a přesměrujte jej do výstupního souboru
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Otevřete terminál pomocí shellu a poté
sed -n '10,15p' file1.txt > file2.txt
Jednoduché a snadné.
Pokud chcete místo mazání přidat na konec file2.txt
, použijte >>
pro přesměrování.
sed -n '10,15p' file1.txt >> file2.txt
^^
AWK je také výkonný textový manipulátor příkazového řádku:
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Docker:Jak přidat backporty do sources.list přes Dockerfile?
- mongodb/mongodb 1.2.0 vyžaduje ext-mongodb ^1.3.0 -> požadované rozšíření PHP mongodb ve vašem systému chybí