差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン | ||
| linux:mock [2023/03/10 15:10] – [Mock ビルドの実行] ともやん | linux:mock [2023/03/10 20:45] (現在) – [コンフィギュレーションの内容] ともやん | ||
|---|---|---|---|
| 行 182: | 行 182: | ||
| </ | </ | ||
| - | ===== chroot サンドボックス ツールとしての Mock ===== | + | ===== chroot サンドボックス |
| [[https:// | [[https:// | ||
| <WRAP color_term> | <WRAP color_term> | ||
| 行 1823: | 行 1823: | ||
| @import '/ | @import '/ | ||
| | | ||
| + | # | ||
| + | | ||
| + | } | ||
| .dokuwiki pre { | .dokuwiki pre { | ||
| box-shadow: unset; | box-shadow: unset; | ||
| 行 1838: | 行 1841: | ||
| <!-- 言語に応じたjsファイルを読み込む --> | <!-- 言語に応じたjsファイルを読み込む --> | ||
| <script src="/ | <script src="/ | ||
| - | | + | </ |
| + | |||
| + | / | ||
| + | < | ||
| < | < | ||
| config_opts[' | config_opts[' | ||
| 行 1846: | 行 1852: | ||
| include(' | include(' | ||
| </ | </ | ||
| - | | + | </ |
| + | |||
| + | / | ||
| + | < | ||
| < | < | ||
| config_opts[' | config_opts[' | ||
| 行 2021: | 行 2030: | ||
| """ | """ | ||
| </ | </ | ||
| - | | + | </ |
| + | |||
| + | < | ||
| < | < | ||
| 'use strict'; | 'use strict'; | ||
| 行 2028: | 行 2039: | ||
| theme: " | theme: " | ||
| lineNumbers: | lineNumbers: | ||
| - | indentUnit: 4 | + | indentUnit: 4, |
| - | }); | + | // |
| + | //height: " | ||
| + | }); | ||
| let jsEditor002 = CodeMirror.fromTextArea(document.getElementById(' | let jsEditor002 = CodeMirror.fromTextArea(document.getElementById(' | ||
| mode: " | mode: " | ||
| theme: " | theme: " | ||
| lineNumbers: | lineNumbers: | ||
| - | indentUnit: 4 | + | indentUnit: 4, |
| + | // | ||
| + | //height: " | ||
| }); | }); | ||
| + | jsEditor001.setSize(null, | ||
| + | jsEditor002.setSize(null, | ||
| </ | </ | ||
| </ | </ | ||