custom-gui-packages/pika-welcome
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update mod.rs

Browse Source
This commit is contained in:
ferrreo 2024-02-29 16:58:38 +00:00 committed by GitHub
parent ed36596840
commit 50e068d820
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/welcome_content_page/mod.rs
View File

@ -44,7 +44,7 @@ pub fn welcome_content_page(window: &adw::ApplicationWindow, content_box: &gtk::
// } // }
//} //}
let check_internet_connection_cli = Command::new("ping") let check_internet_connection_cli = Command::new("ping")
.arg("ppa.pika-os.com") .arg("iso.pika-os.com")
.arg("-c 1") .arg("-c 1")
.output() .output()
.expect("failed to execute process"); .expect("failed to execute process");