Untuk memeriksa apakah sertifikat untuk google.com telah dicabut, saya mencoba perintah berikut: curl https://www.google.com --cacert GeoTrust_Global_CA.pem --crlfile gtglobal.pem -v , tapi saya mendapat kesalahan "masalah sertifikat SSL" yang ditakuti: * About to connect() to www.google.com...
Apakah mungkin untuk meneruskan string yang relatif besar ke grepatau hanya dapat menerima file? Perhatikan bahwa saya tidak berbicara tentang output perpipaan ke grep, tetapi melakukan sesuatu seperti: grep 'hello' 'hello world' (yang tentu saja tidak berhasil, setidaknya tidak seperti...
Saya ingin mengatur tiga antarmuka jaringan virtual ( veth) yang dapat berkomunikasi satu sama lain. Untuk mensimulasikan tiga simpul cluster, setiap program kemudian mengikat ke satu vethantarmuka. Saya ingin melakukannya tanpa LXC jika memungkinkan. Saya mencoba menggunakan: Dibuat tiga...
Sesuatu yang saya ingin tahu ketika saya menghapus selusin gambar dari komputer saya: Dengan rm -rfperintah cepat pada isi direktori, semua gambar hilang dalam sekejap. Saat saya seret selusin gambar yang sama ke tempat sampah / daur ulang, kadang-kadang butuh 10 detik atau lebih. Sekarang saya...
Saya mencoba untuk mendapatkan jumlah kecocokan (dalam hal ini kejadian {atau }) di setiap baris file .tex. Saya tahu bahwa -obendera hanya mengembalikan kecocokan, tetapi mengembalikan setiap kecocokan pada baris baru, bahkan dikombinasikan dengan -nbendera. Saya tidak tahu apa-apa saya bisa...
Skenario: Saya adalah pengembang perangkat lunak lepas yang sebagian besar berkembang di Linux (Python, MySQL, MongoDB, dll.) Komputer kerja saya adalah laptop Lenovo dengan prosesor i7 dan RAM 8GB. Big HD + 128 GB SSD. OSnya adalah Ubuntu Linux Saya mungkin mendapatkan beberapa proyek .NET / C...
Apakah ada setiap cara untuk mengkonfigurasi GTK + program untuk menggunakan dialog file yang berbeda? Membaca artikel kuno pada dialog default dan melihat tidak ada perbedaan pada versi saat ini tidak menjadi pertanda baik untuk perbaikan dalam waktu dekat. Saya sudah membaca pertanyaan ini ,...
Saya tidak ingin hanya chmod dan lari sampai saya mendapatkan jawaban yang benar, saya juga tidak ingin menjalankan GnuPG sebagai root. Cara mudahnya adalah dengan mengaturnya sehingga hanya pengguna saya yang bisa membacanya, tapi saya rasa itu bukan cara terbaik. Saya mendapatkan kesalahan...
Saya menjalankan pengujian debian dengan kernel 4.1 dan versi 4.1 dari perfalat ini. Dalam versi ini mereka tampaknya telah menambahkan semacam perlindungan untuk menjaga pengguna normal dari mengumpulkan data dari alat itu. Jadi menjalankan perfsebagai pengguna biasa akan memberikan kesalahan...
Amazon Linux Server, terhubung dengan SSH: Saya mencoba mengubah PATH untuk pengguna apache dengan membuat beberapa perubahan di / etc / environment ( PATH=$PATH:/opt/openoffice4/program) dan / etc / sysconfig / httpd ( export PATH = ${PATH:$PATH:}/opt/openoffice4/program). Lalu saya...
Jadi, saya membutuhkan Teknik Semantik dengan buku teks PLT Redex untuk menyelesaikan tugas pekerjaan rumah minggu ini. Saya membutuhkannya dalam format digital karena saya akan ke POPL 2016 besok dan saya tidak bisa mengirimkannya kepada saya. Karenanya, saya membayar $ 50 untuk eBuku sehingga...
Saya ingin mengubah direktori home pengguna yang awalnya saya setup pada Windows Subsystem untuk Linux. Saya menemukan perintah ini sudo usermod -d /mnt/c/Users/Alex alex Yang seharusnya memungkinkan ini, namun saya mendapatkan kesalahan ini usermod: user alex is currently used by process...
Saya menggunakan Windows 10 Insider Preview dengan subsistem Windows untuk Linux diaktifkan Saya bertanya-tanya apa perbedaan sebenarnya antara VcXsrv dan Xming untuk melihat windows dari Ubuntu di windows Saya tahu perbedaan langsung dengan pengaturan, maksud saya lebih spesifik, seperti apa...
Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Pengguna Super. Ditutup 6 tahun yang lalu . Pertanyaan ini merupakan tindak lanjut dari Bagaimana...
Dengan URxvt dan xterm dimungkinkan untuk menggunakan terminal virtual yang mendukung 256 warna, bukan hanya delapan. Karena kartu grafis Intel GMA saya didukung dengan baik oleh driver framebuffer KMS, saya secara eksklusif bekerja pada TTY. Sayangnya itu hanya mendukung delapan warna walaupun...
di Linux / shell, bagaimana saya bisa membawa latar belakang pekerjaan ke latar depan dan sebaliknya?
Apakah mungkin untuk menyalin output ke clipboard tanpa menggunakan mouse? Sebagai contoh, saya ingin melakukan sesuatu seperti ini: $ pwd >> papan
Sangat mudah untuk memiliki beberapa akun pengguna di satu komputer dan bahkan beralih di antara akun tanpa keluar. Dimungkinkan juga untuk memiliki lebih dari satu tampilan yang terhubung ke satu komputer. Apakah mungkin untuk memiliki satu komputer multi-core digunakan secara bersamaan oleh dua...
Saya memiliki laptop yang hanya memiliki satu port serial. Saya pergi ke: /dev direktori, dan saya menemukan: ttyS0 ttyS1 ttyS2 ttyS3 Bagaimana saya tahu "ttyS" mana yang merujuk ke port serial saya?
Saya punya masalah dengan penyelesaian-tab di terminal di archlinux dan ubuntu: Saya memiliki tautan yang menautkan ke direktori bernama "sesuatu" di direktori rumah saya. Sekarang ketika saya membuka terminal dan ingin melakukan sesuatu dengan direktori itu, katakan saja cd, saya akan mengetik cd...