jedit - Online di Awan

PROGRAM:

NAMA

JEdit - Editor Teks Programmer ditulis dalam Java

RINGKASAN

jedi [ Pilihan ] [ arsip ]

DESKRIPSI

Halaman manual ini secara singkat mendokumentasikan JEditparameter baris perintah. Menyelesaikan
dokumentasi dapat ditemukan dengan menggunakan item menu Help->jEdit Help di dalam JEdit atau dengan
menjalankan jedit -penggunaan.

JEdit adalah editor teks lintas platform yang ditulis dalam Java. Ini memiliki set fitur yang luas
yang mencakup penyorotan sintaks, indentasi otomatis, lipat, bungkus kata, singkatan
ekspansi, beberapa clipboard, pencarian dan penggantian yang kuat, dan banyak lagi.

Selain itu, JEdit sangat dapat disesuaikan, dan dapat diperluas, menggunakan makro yang ditulis
dalam bahasa skrip BeanShell, atau plugin yang ditulis dalam Java. Dengan plugin, Anda dapat
buat lingkungan pengembangan yang sangat kuat untuk HTML, XML, C/C++, Python, Perl, Ruby,
Lisp, Skema, dan banyak lainnya.

JEdit Memerlukan Java Runtime Environment Versi 1.7 atau yang lebih baru.

JEdit dirilis di bawah Lisensi Publik Umum GNU, yang dapat ditemukan di online
membantu.

UMUM COMMAND GARIS PENGGUNAAN

Saat membuka file dari baris perintah, nomor baris atau penanda untuk menempatkan tanda sisipan pada
dapat ditentukan seperti ini:

$ jedit MyApplet.java +baris:10

$ jedit thesis.tex +penanda:c

Sakelar baris perintah dimulai dengan "-". Beberapa mengambil parameter. Sebuah file yang namanya dimulai
dengan "-" dapat dibuka seperti:

$jedit -- -filesaya

LAIN-LAIN PILIHAN

-log=tingkat
Setel level log minimum ke bilangan bulat antara 1 dan 9. Standarnya adalah 7. Tidak ada
efek saat menghubungkan ke instance lain melalui server edit.

-penggunaan Tampilkan pesan penggunaan baris perintah singkat tanpa memulai JEdit. Pesan ini adalah
juga ditampilkan jika sakelar yang tidak valid ditentukan.

-versi
Tampilkan nomor versi tanpa memulai JEdit.

-- Menentukan akhir pemrosesan baris perintah. Parameter lebih lanjut diperlakukan sebagai
nama file, meskipun dimulai dengan tanda hubung.

KONFIGURASI PILIHAN

-plugin
Aktifkan pemuatan plugin. Ini adalah default. Tidak berpengaruh saat menghubungkan ke
contoh lain melalui server edit.

-tidak ada plugin
Nonaktifkan pemuatan plugin. Tidak berpengaruh saat menghubungkan ke instance lain melalui
server pengeditan.

-mengembalikan
Pulihkan file yang sebelumnya terbuka saat startup. Ini adalah default.

-norestore
Jangan mengembalikan file yang dibuka sebelumnya saat startup.

-run=skrip
Jalankan skrip BeanShell yang ditentukan. Hanya ada satu dari parameter ini di
baris perintah.

-pengaturan=dir
Simpan pengaturan khusus pengguna di direktori bernama "dir", alih-alih default
$HOME/.jedit. Direktori akan dibuat secara otomatis jika tidak ada. Memiliki
tidak berpengaruh saat menghubungkan ke instance lain melalui server edit.

-pengaturan hidung
Start JEdit tanpa memuat pengaturan khusus pengguna.

-skrip startup
Jalankan skrip startup. Ini adalah default. Tidak berpengaruh saat menghubungkan ke yang lain
contoh melalui server edit.

-tidak ada skrip startup
Nonaktifkan skrip startup. Tidak berpengaruh saat menghubungkan ke instance lain melalui
mengedit server.

EDIT SERVER PILIHAN

Untuk informasi tentang server edit, lihat bagian "Memulai jEdit" di JEdit
bantuan online.

-Latar Belakang
Run JEdit dalam mode latar belakang. Dalam mode latar belakang, server edit akan dilanjutkan
mendengarkan koneksi klien bahkan setelah semua tampilan ditutup. Tidak berpengaruh
saat menghubungkan ke instance lain melalui server edit.

-tanpa latar belakang
Nonaktifkan mode latar belakang. Ini adalah default. Tidak berpengaruh saat menghubungkan ke
contoh lain melalui server edit.

-gui Buka tampilan awal. Ini adalah default. Tidak berpengaruh saat menghubungkan ke yang lain
contoh melalui server edit.

-nogui Jangan buka tampilan awal, dan sebaliknya hanya buka satu saat klien pertama
menghubungkan. Hanya dapat digunakan dalam kombinasi dengan sakelar -background. Anda dapat gunakan
ini beralih ke "pra-muat" JEdit ketika Anda masuk ke komputer Anda, misalnya. Memiliki
tidak berpengaruh saat menghubungkan ke instance lain melalui server edit.

server
Simpan info port server dalam file bernama "server" di dalam pengaturan
direktori. Ini adalah default.

-server=nama
Simpan info port server dalam file bernama "nama". Nama file untuk parameter ini
relatif terhadap direktori pengaturan.

-tidak ada server
Jangan mencoba menyambung ke server edit yang sedang berjalan, dan juga tidak memulainya.

Gunakan jedit online menggunakan layanan onworks.net