get-debug-change #8

Merged
milan merged 1 commit from develop into master 2020-11-04 18:11:52 +01:00

View file

@ -1,2 +1,2 @@
#!/bin/bash #!/bin/bash
cat debug.txt /home/minetest/.minetest/debug.txt | grep -e "WARNING\|ERROR\|Separator\|-------" | awk '!n[$0]++' > debug.txt cat debug.txt /home/minetest/.minetest/debug.txt | grep -e "WARNING\|ERROR" | awk '!n[$0]++' > debug.txt