Kernel source downloaded accidentally, and I want to delete it
Clash Royale CLAN TAG#URR8PPP up vote
1
down vote
favorite
Didn't see a solved thread before asking this, but if I'm stupid, pls point me to the one.
So by accidentally I mean it was not what I expected it to download. I managed to setup closed NVIDIA driver with Secure Boot on, but the latest source I could find was 4.15.13 (if there's newer, I would appreciate if somebody linked me the one) (actually header from /usr/src was enough to set it up, but still, 4.15.13 was the latest I could find). I executed
sudo apt source linux-source
and others, and now this is how my Home looks like:
This invokes me to delete all of these by hand (y'know, sudo rm), but I just thought if it was downloaded from apt, then these must be the similar automatic way to get rid of it too?
I would appreciate any help sharing info, it is my first month to face Linux as a whole, but it's fun, ain't it?
apt kernel source
asked Apr 21 at 16:07
xt1zer
236
add a comment |Â
up vote
1
down vote
favorite
Didn't see a solved thread before asking this, but if I'm stupid, pls point me to the one.
So by accidentally I mean it was not what I expected it to download. I managed to setup closed NVIDIA driver with Secure Boot on, but the latest source I could find was 4.15.13 (if there's newer, I would appreciate if somebody linked me the one) (actually header from /usr/src was enough to set it up, but still, 4.15.13 was the latest I could find). I executed
sudo apt source linux-source
and others, and now this is how my Home looks like:
This invokes me to delete all of these by hand (y'know, sudo rm), but I just thought if it was downloaded from apt, then these must be the similar automatic way to get rid of it too?
I would appreciate any help sharing info, it is my first month to face Linux as a whole, but it's fun, ain't it?
apt kernel source
asked Apr 21 at 16:07
xt1zer
236
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Didn't see a solved thread before asking this, but if I'm stupid, pls point me to the one.
So by accidentally I mean it was not what I expected it to download. I managed to setup closed NVIDIA driver with Secure Boot on, but the latest source I could find was 4.15.13 (if there's newer, I would appreciate if somebody linked me the one) (actually header from /usr/src was enough to set it up, but still, 4.15.13 was the latest I could find). I executed
sudo apt source linux-source
and others, and now this is how my Home looks like:
This invokes me to delete all of these by hand (y'know, sudo rm), but I just thought if it was downloaded from apt, then these must be the similar automatic way to get rid of it too?
I would appreciate any help sharing info, it is my first month to face Linux as a whole, but it's fun, ain't it?
apt kernel source
asked Apr 21 at 16:07
xt1zer
236
Didn't see a solved thread before asking this, but if I'm stupid, pls point me to the one.
So by accidentally I mean it was not what I expected it to download. I managed to setup closed NVIDIA driver with Secure Boot on, but the latest source I could find was 4.15.13 (if there's newer, I would appreciate if somebody linked me the one) (actually header from /usr/src was enough to set it up, but still, 4.15.13 was the latest I could find). I executed
sudo apt source linux-source
and others, and now this is how my Home looks like:
This invokes me to delete all of these by hand (y'know, sudo rm), but I just thought if it was downloaded from apt, then these must be the similar automatic way to get rid of it too?
I would appreciate any help sharing info, it is my first month to face Linux as a whole, but it's fun, ain't it?
apt kernel source
asked Apr 21 at 16:07
xt1zer
236
edited Apr 21 at 20:44
asked Apr 21 at 16:07
xt1zer
236
asked Apr 21 at 16:07
xt1zer
236
asked Apr 21 at 16:07
xt1zer
236
236
add a comment |Â
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
2
down vote
accepted
As you can see with command man apt-get:
Note that source packages are not installed and tracked in the dpkg
database like binary packages; they are simply downloaded to the
current directory, like source tarballs.
There is no other way to remove sources than by hand.
answered Apr 21 at 16:20
Pasi Suominen
43526
Quite a simple response, thanks! Could you point if Home is the only place these files can be?
– xt1zer
Apr 21 at 16:39
@xt1zer drop then where ever you like just run that command the the intended directory
– George Udosen
Apr 21 at 17:47
add a comment |Â
up vote
1
down vote
I believe source files are just source files and used to build and install their respective apps, and these source files are then removed via the rm command. So in that case a simple delete will not hurt your system.
answered Apr 21 at 16:18
George Udosen
17k93559
with apt-get source, apt-get fetches source packages to your working directory, they are not installed.
– Pasi Suominen
Apr 21 at 16:21
I know that updated my answer to reflect that!
– George Udosen
Apr 21 at 16:24
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
As you can see with command man apt-get:
Note that source packages are not installed and tracked in the dpkg
database like binary packages; they are simply downloaded to the
current directory, like source tarballs.
There is no other way to remove sources than by hand.
answered Apr 21 at 16:20
Pasi Suominen
43526
Quite a simple response, thanks! Could you point if Home is the only place these files can be?
– xt1zer
Apr 21 at 16:39
@xt1zer drop then where ever you like just run that command the the intended directory
– George Udosen
Apr 21 at 17:47
add a comment |Â
up vote
2
down vote
accepted
As you can see with command man apt-get:
Note that source packages are not installed and tracked in the dpkg
database like binary packages; they are simply downloaded to the
current directory, like source tarballs.
There is no other way to remove sources than by hand.
answered Apr 21 at 16:20
Pasi Suominen
43526
Quite a simple response, thanks! Could you point if Home is the only place these files can be?
– xt1zer
Apr 21 at 16:39
@xt1zer drop then where ever you like just run that command the the intended directory
– George Udosen
Apr 21 at 17:47
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
As you can see with command man apt-get:
Note that source packages are not installed and tracked in the dpkg
database like binary packages; they are simply downloaded to the
current directory, like source tarballs.
There is no other way to remove sources than by hand.
answered Apr 21 at 16:20
Pasi Suominen
43526
As you can see with command man apt-get:
Note that source packages are not installed and tracked in the dpkg
database like binary packages; they are simply downloaded to the
current directory, like source tarballs.
There is no other way to remove sources than by hand.
answered Apr 21 at 16:20
Pasi Suominen
43526
answered Apr 21 at 16:20
Pasi Suominen
43526
answered Apr 21 at 16:20
Pasi Suominen
43526
answered Apr 21 at 16:20
Pasi Suominen
43526
43526
Quite a simple response, thanks! Could you point if Home is the only place these files can be?
– xt1zer
Apr 21 at 16:39
@xt1zer drop then where ever you like just run that command the the intended directory
– George Udosen
Apr 21 at 17:47
add a comment |Â
Quite a simple response, thanks! Could you point if Home is the only place these files can be?
– xt1zer
Apr 21 at 16:39
@xt1zer drop then where ever you like just run that command the the intended directory
– George Udosen
Apr 21 at 17:47
Quite a simple response, thanks! Could you point if Home is the only place these files can be?
– xt1zer
Apr 21 at 16:39
Quite a simple response, thanks! Could you point if Home is the only place these files can be?
– xt1zer
Apr 21 at 16:39
@xt1zer drop then where ever you like just run that command the the intended directory
– George Udosen
Apr 21 at 17:47
@xt1zer drop then where ever you like just run that command the the intended directory
– George Udosen
Apr 21 at 17:47
add a comment |Â
up vote
1
down vote
I believe source files are just source files and used to build and install their respective apps, and these source files are then removed via the rm command. So in that case a simple delete will not hurt your system.
answered Apr 21 at 16:18
George Udosen
17k93559
with apt-get source, apt-get fetches source packages to your working directory, they are not installed.
– Pasi Suominen
Apr 21 at 16:21
I know that updated my answer to reflect that!
– George Udosen
Apr 21 at 16:24
add a comment |Â
up vote
1
down vote
I believe source files are just source files and used to build and install their respective apps, and these source files are then removed via the rm command. So in that case a simple delete will not hurt your system.
answered Apr 21 at 16:18
George Udosen
17k93559
with apt-get source, apt-get fetches source packages to your working directory, they are not installed.
– Pasi Suominen
Apr 21 at 16:21
I know that updated my answer to reflect that!
– George Udosen
Apr 21 at 16:24
add a comment |Â
up vote
1
down vote
up vote
1
down vote
I believe source files are just source files and used to build and install their respective apps, and these source files are then removed via the rm command. So in that case a simple delete will not hurt your system.
answered Apr 21 at 16:18
George Udosen
17k93559
I believe source files are just source files and used to build and install their respective apps, and these source files are then removed via the rm command. So in that case a simple delete will not hurt your system.
answered Apr 21 at 16:18
George Udosen
17k93559
edited Apr 21 at 16:23
answered Apr 21 at 16:18
George Udosen
17k93559
answered Apr 21 at 16:18
George Udosen
17k93559
answered Apr 21 at 16:18
George Udosen
17k93559
17k93559
with apt-get source, apt-get fetches source packages to your working directory, they are not installed.
– Pasi Suominen
Apr 21 at 16:21
I know that updated my answer to reflect that!
– George Udosen
Apr 21 at 16:24
add a comment |Â
with apt-get source, apt-get fetches source packages to your working directory, they are not installed.
– Pasi Suominen
Apr 21 at 16:21
I know that updated my answer to reflect that!
– George Udosen
Apr 21 at 16:24
with apt-get source, apt-get fetches source packages to your working directory, they are not installed.
– Pasi Suominen
Apr 21 at 16:21
with apt-get source, apt-get fetches source packages to your working directory, they are not installed.
– Pasi Suominen
Apr 21 at 16:21
I know that updated my answer to reflect that!
– George Udosen
Apr 21 at 16:24
I know that updated my answer to reflect that!
– George Udosen
Apr 21 at 16:24
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
var $window = $(window),
onScroll = function(e)
var $elem = $('.new-login-left'),
docViewTop = $window.scrollTop(),
docViewBottom = docViewTop + $window.height(),
elemTop = $elem.offset().top,
elemBottom = elemTop + $elem.height();
if ((docViewTop elemBottom))
StackExchange.using('gps', function() StackExchange.gps.track('embedded_signup_form.view', location: 'question_page' ); );
$window.unbind('scroll', onScroll);
;
$window.on('scroll', onScroll);
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1026976%2fkernel-source-downloaded-accidentally-and-i-want-to-delete-it%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
var $window = $(window),
onScroll = function(e)
var $elem = $('.new-login-left'),
docViewTop = $window.scrollTop(),
docViewBottom = docViewTop + $window.height(),
elemTop = $elem.offset().top,
elemBottom = elemTop + $elem.height();
if ((docViewTop elemBottom))
StackExchange.using('gps', function() StackExchange.gps.track('embedded_signup_form.view', location: 'question_page' ); );
$window.unbind('scroll', onScroll);
;
$window.on('scroll', onScroll);
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
var $window = $(window),
onScroll = function(e)
var $elem = $('.new-login-left'),
docViewTop = $window.scrollTop(),
docViewBottom = docViewTop + $window.height(),
elemTop = $elem.offset().top,
elemBottom = elemTop + $elem.height();
if ((docViewTop elemBottom))
StackExchange.using('gps', function() StackExchange.gps.track('embedded_signup_form.view', location: 'question_page' ); );
$window.unbind('scroll', onScroll);
;
$window.on('scroll', onScroll);
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
var $window = $(window),
onScroll = function(e)
var $elem = $('.new-login-left'),
docViewTop = $window.scrollTop(),
docViewBottom = docViewTop + $window.height(),
elemTop = $elem.offset().top,
elemBottom = elemTop + $elem.height();
if ((docViewTop elemBottom))
StackExchange.using('gps', function() StackExchange.gps.track('embedded_signup_form.view', location: 'question_page' ); );
$window.unbind('scroll', onScroll);
;
$window.on('scroll', onScroll);
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password