Linux2 Powerline vim, bash vim, bash에 powerline 적용하기 sudo apt-get install python-pip git sudo pip install git+git://github.com/Lokaltog/powerline which powerline wget https://github.com/Lokaltog/powerline/raw/develop/font/PowerlineSymbols.otf https://github.com/Lokaltog/powerline/raw/develop/font/10-powerline-symbols.conf sudo mv PowerlineSymbols.otf /usr/share/fonts sudo fc-cache -vf sudo mv 10-powerline-symbols.conf /et.. 2017. 7. 4. Install z3 on Ubuntu x64 pip install을 이용해서 깔았었는데 실패해서 github에서 git clone을 이용해서 깔기로 함 github: https://github.com/Z3Prover/z3 하라는 대로 따라 했는데 제대로 설치됐나 확인해보니 'import error no module named z3'..... 한참을 헤매다 다시 보니 --prefix를 해달라고 하는데 그냥 ./configure를 하면 알아서 환경설정 해준다. 이번에는 import 에러가 안 뜨긴 했는데 혹시나 싶어서 예제 입력해보니 'NameError: name 'Int' is not defined' 라고 뜬..... example.py 를 열어보니 PYTHONPATH에 경로를 추가해 달라는데 z3/z3.py가 있는 디렉토리를 경로에 추가해야 한다고.. 2017. 7. 4. 이전 1 다음
