1
Festivalのを変更する方法を教えてもらえますか？私はフェスティバルを変更する方法server_port
set! server_port 1315
を使用して、それを変更しようとしたが、はまだ1314のデフォルト値を持っていることを後に。誰でもこれを解決しようとすることができますか？
A
答えて
1
これは古いものですが、誰かにとって参考になるかもしれません。 PORTは、あなたに必要なポートです
festival --server '(set! server_port PORT)'
：単に次のコマンドラインの式を使用祭りサーバポートを定義するには
。次の例では、私はポートを変更することができた括弧を入れた後、ポート
festival --server '(set! server_port 1515)'
関連する問題
- 1. フェスティバルの音声を変更する際にSIODエラーが発生しました。
- 2. パテ・フェスティバル・プロトコル？
- 3. フェスティバルTTSの声
- 4. フェスティバルにユーザ入力を渡す
- 5. 方向変更の画像のサイズを変更する方法..？
- 6. グローバルプロパティを変更する方法KnockoutJSでイベントハンドラを変更する
- 7. フェスティバルの編集TTS C/C++の例
- 8. Android - プロガードの名前の変更方法を変更する方法
- 9. ラジオボタンを変更してパドル幅を変更する方法は？
- 10. 定義を変更する方法を確認する方法
- 11. ブラウザのサイズ変更時にdivスタイルを変更する方法
- 12. ボリュームを変更する方法/変更AudioClip
- 13. ビューの変更で変数を更新する方法
- 14. jQueryの変更を<select>に変更する方法
- 15. jquery datatable値をドロップダウン値の変更で変更する方法
- 16. ReferenceInputの変更時にDisabledInputの値を変更する方法
- 17. Angular2デフォルトの変更検出方法を変更する
- 18. プログラムでスタイルコンポーネントを変更する方法
- 19. uコマース：カテゴリテンプレートを変更する方法
- 20. Javaのブラシサイズを変更する方法
- 21. XCode 8：ターゲットデバイスファミリを変更する方法
- 22. ステートマシンでターゲットステートを変更する方法
- 23. ファイルのディレクトリを変更する方法
- 24. JSplitPaneの色を変更する方法
- 25. QT Creator：変更をコンパイルする方法
- 26. DataRowの値を変更する方法
- 27. WebStormでカスタムフォーマッタを変更する方法
- 28. ダイアログアングルのサイズを変更する方法
- 29. リストアイテムのカスタムフォントを変更する方法
- 30. jqgridのページングスタイルを変更する方法
に祭りサーバを起動します。 （set！server_port 1315） – SDK