📄 book-dist.py
字号:
#!/usr/bin/env python2
import sys
import os
import shutil
def die(msg):
sys.stderr.write('ERROR: ' + msg)
sys.exit(1)
cwd = os.getcwd()
if not os.path.exists('book') \
or not os.path.exists('Makefile'):
die('Please run this from the Subversion book source directory\n')
if not os.getenv('JAVA_HOME'):
die('JAVA_HOME is not set correctly.\n')
if os.path.exists('./usr'):
die('Please remove ./usr.\n')
os.putenv('FOP_OPTS', '-Xms100m -Xmx200m')
os.system('DESTDIR=. make book-clean install-book-html ' + \
'install-book-html-chunk install-book-pdf')
tarball = os.path.join(cwd, 'svnbook.tar.gz')
try:
os.chdir('./usr/share/doc/subversion')
os.rename('book', 'svnbook')
os.system('tar cvfz ' + tarball + ' svnbook')
finally:
os.chdir(cwd)
shutil.rmtree('./usr')
if not os.path.exists(tarball):
die('Hrm. It appears the tarball was not created.\n')
print 'Your tarball sits in ./svnbook.tar.gz. Enjoy!'
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -