OS(18)
-
wget으로 google drive에서 파일 다운
1. 구글드라이브에서 파일에 마우스 우클릭으로 공유 가능한 링크 생성 - 모든 사용자가 볼 수 있게 옵션 설정 2. https://drive.google.com/file/d/[FILEID]/view?usp=sharing 형태의 링크가 생성됨 3. wget --no-check-certificate 'https://docs.google.com/uc?export=download&id=[FILEID]' -O FILENAME 용량이 크다면 $ curl -c ./cookie -s -L "https://drive.google.com/uc?export=download&id=[FILEID]" > /dev/null $ curl -Lb ./cookie "https://drive.google.com/uc?export=down..
2021.08.12 -
find
원하는 파일을 찾는 명령어 find [경로] [옵션] [파일명] find / -name '*.txt' 최상위 디렉토리에서 부터 검색을 해서 확장자가 txt로 끝나는 모든 파일 find / -name 'abc*' abc 라는 단어로 시작하는 모든 파일 find / -name 'abc' 이름이 'abc'인 모든 파일 find -name '*.txt' 경로를 생략하고 입력하면 해당 디렉토리에서부터 그 하위 디렉토리까지 검색
2021.08.11 -
curl
command line 기반의 웹 요청 도구 Unix, Linux, Windows 등의 주요 OS에서 구동 가능하며 HTTP/HTTPS/FTP/LDAP/SCP/TELNET/SMTP/POP3 등 핵심 프로코콜을 지원하기 때문에 유용하게 사용된다. download와 upload가 모두 가능 $ curl [options] $ curl https://chang-aistory.tistory.com/ 블로그의 주소를 날리면, HTML정보를 콘솔에 출력 short long -k --insecure https 사이트를 SSL certificate 검증없이 연결 wget 의 --no-check-certificate 과 비슷 -l --head HTTP header 만 보여주고 content 는 표시하지 않는다 -D --d..
2021.08.09 -
파일/디렉토리 개수 새기
현 경로에서 디렉토리개수 ls -l | grep ^d | wc -l 현 경로에서 파일 개수 ls -l | grep ^- | wc -l 현 디렉토리 하위 파일 개수 find . -type f | wc -l
2021.04.29 -
대량 파일 이동 ( 폴더 분할)
oidv6 데이터를 이용해 실험을 하면서 대량의 파일을 이동시켜야 했다. ls와 mv를 이용해 대량의 파일을 지정해 이동시킬 수 있었다. yolov5에 맞게 데이터를 커스터마이징 했기때문에 예를 들면 images/train의 이미지 이름과 labels/train의 텍스트파일 이름이 같아야하기 때문에 ls의 sort옵션도 사용했다 ls -1 | head -원하는개수 | xargs -i mv "{}" /대상경로 ls -1 |sort -원하는개수| xargs -i mv "{}" /대상경로
2021.04.29 -
zip, unzip
현재 디렉토리의 모든 파일 test.zip으로 압축 zip test.zip ./* 현재 디렉토리에 모든 파일들 + 포함된 디렉토리까지 모두 포함해서 test.zip으로 압축 zip -r test.zip ./* test.zip의 압축 풀기 unzip test.zip test.zip파일을 특정 경로 (디렉토리)에 압축 풀기 unzip test.zip -d {경로} -- 만약 zip, unzip이 설치가 안 되어 있다면? sudo apt-get install zip unzip
2021.04.26