가끔 버그인 것 같긴한데
파일 선택만 되고 드래그&드랍이 안되는 경우가 있다
뭐 재부팅하면야 제대로 동작 하겠지만 매번 그럴수도 없으니 아래 방법을 이용하여 해결하자
1. 파일 우클릭 후 메뉴 뜨면 esc
2. F2 를 눌러 파일 이름 변경 후 esc
둘중에 어떤 조건으로 문제가 해결되는지는 모르겠지만 일단 위 방법으로 문제 해결됨은 확인.
다음번 증상 재현되면 다시 하나씩 해봐야지..
가끔 버그인 것 같긴한데
파일 선택만 되고 드래그&드랍이 안되는 경우가 있다
뭐 재부팅하면야 제대로 동작 하겠지만 매번 그럴수도 없으니 아래 방법을 이용하여 해결하자
1. 파일 우클릭 후 메뉴 뜨면 esc
2. F2 를 눌러 파일 이름 변경 후 esc
둘중에 어떤 조건으로 문제가 해결되는지는 모르겠지만 일단 위 방법으로 문제 해결됨은 확인.
다음번 증상 재현되면 다시 하나씩 해봐야지..
모종의 이유로 guthub 의 repository를 gitlab으로 옮겨야 할 경우가 있다
코드 clone 후 저장소 바꿔서 push 하는 방법도 있겠지만 더 간단한 방법이 있어서 정리
[1단계. github에서]
1. settings - Developer Settings - Personal access tokens
2. scrops 선택(repo 정도로 사용) 후 Generate Token
[2단계. gitlab에서]
1. New project - Import project - Github
2. Personal Access Token에 1의 token 붙여넣기 - List your Github repositories
3. list 중 필요한 repository 우측의 import 로 추가
[WSL2] 경로를 windows 탐색기에서 확인하자. (0) | 2023.08.24 |
---|---|
conda 사용중 "An HTTP error occurred" 가 발생할 경우 (0) | 2022.08.29 |
[ROS] Rosbag2Video (0) | 2021.11.30 |
float 값의 비교 (== 연산자는 위험하다!) (0) | 2021.04.13 |
google drive web client 사용량 제한 (0) | 2021.02.25 |