본문 바로가기

분류 전체보기340

risc-v 용 gnu toolchain 빌드 우분투 20.04의 risc-v 용 toolchain을 사용하니 stdint.h 를 찾지 못하는 에러가 발생했다. riscv64-unknown-elf-gcc -std=c99 -c -Wall -g -march=rv32imac -mabi=ilp32 -mcmodel=medlow -Iinclude main.c -o main.o In file included from main.c:1: /usr/lib/gcc/riscv64-unknown-elf/9.3.0/include/stdint.h:9:16: fatal error: stdint.h: No such file or directory 9 | # include_next | ^~~~~~~~~~ compilation terminated. make: *** [Makefile.. 2021. 2. 3.
git, branch 이름 바꾸기 * local $ git branch -m old_name new_name * remote $ git push origin -u new_name $ git push origin --delete old_name remote의 default branch는 local에서 삭제가 안된다.github 사이트에 로그인 후 프로젝트의 settings에서 default branch를 새로운 branch로 바꿔준 후에 삭제해야한다. 2021. 1. 20.
vim 잘 쓰기 :edit $MYVIMRC :source $MYVIMRC :so % * 플러그인 매니저 - VundleVimVundle.vim - tpope/vim-pathogen - junegunvim-plug 중에서 나는 vundle을 사용할 생각이다. $ git clone https://github.com/VundleVim/Vundle.vim ~/.vim/bundle/Vundle.vim $ vi ~/.vimrc 파일에 set rtp+=~/.vim/bundle/Vundle.vim call vundle#begin() Plugin 'VundleVim/Vundle.vim' call vundle#end() 추가 call vundle#begin() / call vundle#end() 사이에 원하는 플러그인 나열한다. Plug.. 2021. 1. 19.
ssh로 github 사용하기 https://www.lainyzine.com/ko/article/creating-ssh-key-for-github/ GitHub 접속 용 SSH 키 만드는 방법 GitHub의 저장소를 사용할 때 HTTPS과 SSH 프로토콜을 사용할 수 있습니다. SSH 프로토콜은 공개키 방식으로 안전하게 정보를 교환할 수 있습니다. 이번 글에서는 공개키를 만드는 방법부터, GitHub에 www.lainyzine.com * https 방식 git clone https://github.com/계정/프로젝트.git * public key 생성 # ssh-keygen -t rsa -b 4096 -C "namacin@gmail.com" * ssh 방식 git clone git@github.com:계정/프로젝트.git 물론 gi.. 2021. 1. 19.

티스토리툴바